Login / Signup
Challenges in embedded model checking - a simulator for the [mc]square model checker.
Thomas Reinbacher
Martin Kramer
Martin Horauer
Bastian Schlich
Published in:
SIES (2008)
Keyphrases
</>
model checking
model checker
temporal logic
formal verification
symbolic model checking
formal methods
formal specification
finite state
epistemic logic
transition systems
description language
verification method
specification language
binary decision diagrams