Methods for exploiting SAT solvers in unbounded model checking.

Kenneth L. McMillan

Published in: MEMOCODE (2003)

Keyphrases

model checking
temporal logic
sat solvers
computational complexity
formal verification
model checker
epistemic logic
temporal properties