state transition systems / model checking algorithm / bounded model checking algorithm / desired reasoning services / present systems / /
Organization
Australian Government / Australian National University / Canberra / ICT Centre of Excellence / Australian Research Council / Department of Broadband / Communications and the Digital Economy / Department of Broadband / /
Person
Michael Norrish / Martin Diller / Peter Baumgartner / Andreas Bauer / /
Position
guard / depicted guard / model for F ψ / /
Technology
bounded model checking algorithm / Broadband / JSON / PSpace model checking algorithm / /