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 / /
Tableaux for Verification of Data-Centric Processes Andreas Bauer, Peter Baumgartner, Martin Diller and Michael Norrish NICTA? and Australian National University, Canberra, Australia Abstract. Current approaches to analy