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