Methods for Mu-calculus Model Checking: A Tutorial (Abstract).

E. Allen Emerson

Published in: CAV (1995)

Keyphrases

model checking
temporal logic
process algebra
timed automata
transition systems
formal verification
artificial intelligence
state space
model checker
symbolic model checking