Model checking algorithms for the µ-calculus.

Sergey Berezin Edmund M. Clarke Somesh Jha Will Marrero

Published in: Proof, Language, and Interaction (2000)

Keyphrases

model checking
temporal logic
timed automata
reachability analysis
finite state
process algebra
transition systems
deterministic finite automaton
orders of magnitude
formal specification
model checker
temporal properties
computational complexity
formal verification
bounded model checking