Model Checking mu-Calculus in Well-Structured Transition Systems.

E. V. Kouzmin Nikolay V. Shilov Valery A. Sokolov

Published in: TIME (2004)

Keyphrases

transition systems
model checking
temporal logic
concurrent systems
model checker
finite state
formal verification
process algebra
formal specification
timed automata
formal methods
reactive systems
control flow
practical reasoning
modal logic