Application of symbolic and bounded model checking to the verification of logic control systems.

K. Loeis Mohammed Bani Younis Georg Frey

Published in: ETFA (2005)

Keyphrases

bounded model checking
model checking
formal verification
control system
linear temporal logic
temporal logic
model checker
multi agent systems
asynchronous circuits
markov chain
domain independent
modal logic
temporal epistemic