Deviation Analysis: A New Use of Model Checking.

Mats Per Erik Heimdahl Yunja Choi Michael W. Whalen

Published in: Autom. Softw. Eng. (2005)

Keyphrases

model checking
temporal logic
model checker
finite state machines
finite state
dynamic analysis
reachability analysis
formal verification
software engineering
formal specification
symbolic model checking
automated verification