A Study of Sweeping Algorithms in the Context of Model Checking.

Zyad Hassan Yan Zhang Fabio Somenzi

Published in: DIFTS@FMCAD (2011)

Keyphrases

model checking
temporal logic
concurrent systems
deterministic finite automaton
formal verification
formal specification
finite state
pspace complete
temporal properties
orders of magnitude
bounded model checking
reachability analysis
automated verification