Ideal Abstractions for Well-Structured Transition Systems.

Damien Zufferey Thomas Wies Thomas A. Henzinger

Published in: VMCAI (2012)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
practical reasoning
search algorithm
model checker
case study
formal specification
formal verification