Introducing Time in an Industrial Application of Model-Checking.

Lionel van den Berg Paul A. Strooper Kirsten Winter

Published in: FMICS (2007)

Keyphrases

model checking
industrial applications
temporal logic
formal verification
model checker
automated verification
finite state

formal specification
partial order reduction
verification method
temporal properties
finite state machines
transition systems
epistemic logic

formal methods
process algebra
bounded model checking
reachability analysis
timed automata
pspace complete

reactive systems
symbolic model checking
asynchronous circuits
linear temporal logic
computation tree logic
concurrent systems