CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking.

HoonSang Jin Mohammad Awedh Fabio Somenzi

Published in: CAV (2004)

Keyphrases

bounded model checking
model checking
formal verification
temporal logic
linear temporal logic
quantified boolean formulas
multi agent systems
modal logic
satisfiability problem
search space
finite state
transition systems