Model-Checking Process Equivalences

Martin Lange Étienne Lozes Manuel Vargas Guzmán

Published in: GandALF (2012)

Keyphrases

model checking
temporal logic
formal verification
finite state machines
finite state
model checker
formal specification
epistemic logic
verification method
symbolic model checking
bounded model checking
markov chain
process model
temporal properties
automated verification