Login / Signup
Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems.
Radu Mateescu
Published in:
TACAS (2002)
Keyphrases
</>
transition systems
model checking
temporal logic
model checker
concurrent systems
formal verification
formal specification
np hard
finite state
process algebra
timed automata
reactive systems
modal logic
control flow
np complete
practical reasoning
formal methods