Model Checking Modal Transition Systems Using Kripke Structures.

Published in: VMCAI (2002)

Keyphrases

transition systems
model checking
temporal logic
model checker
concurrent systems
modal logic
finite state
formal verification
formal specification
formal methods
reactive systems
state space
orders of magnitude
planning domains