Deviation Analysis Through Model Checking.

Mats Per Erik Heimdahl Yunja Choi Michael W. Whalen

Published in: ASE (2002)

Keyphrases

model checking
temporal logic
finite state
automated verification
abstract interpretation
finite state machines
formal verification
symbolic model checking
model checker
dynamic analysis
temporal properties
formal methods
epistemic logic
search algorithm
timed automata
domain independent
partial order reduction