Login / Signup
The modal µ-calculus hierarchy over restricted classes of transition systems.
Luca Alberucci
Alessandro Facchini
Published in:
J. Symb. Log. (2009)
Keyphrases
</>
transition systems
model checking
temporal logic
concurrent systems
finite state
control flow
practical reasoning
reactive systems
model checker
case study
markov decision processes
formal methods