Model Checking Birth and Death.

Dino Distefano Arend Rensink Joost-Pieter Katoen

Published in: IFIP TCS (2002)

Keyphrases

model checking
temporal logic
automated verification
temporal properties
formal specification
finite state
model checker
formal verification

symbolic model checking
partial order reduction
formal methods
finite state machines
computation tree logic
epistemic logic
pspace complete
reachability analysis

bounded model checking
timed automata
verification method
transition systems
process algebra
reactive systems
asynchronous circuits

modal logic
binary decision diagrams
concurrent systems
linear temporal logic
planning domains
artifact centric
first order logic