Improving Behavioral Design Pattern Detection through Model Checking.

Andrea De Lucia Vincenzo Deufemia Carmine Gravino Michele Risi

Published in: CSMR (2010)

Keyphrases

model checking
pattern detection
formal verification
temporal logic
finite state
formal specification
formal methods
verification method
symbolic model checking
finite state machines
epistemic logic
temporal properties
reachability analysis
automated verification
bounded model checking
model checker