State Set Management for SAT-based Unbounded Model Checking.

Kameshwar Chandrasekar Michael S. Hsiao

Published in: ICCD (2005)

Keyphrases

model checking
bounded model checking
temporal logic
finite state machines
reachability analysis
formal specification
transition systems
finite state
formal verification
epistemic logic
state space
knowledge based systems
orders of magnitude
temporal properties