Bounded Model Checking with QBF.

Nachum Dershowitz Ziyad Hanna Jacob Katz

Published in: SAT (2005)

Keyphrases

bounded model checking
quantified boolean formulas
model checking
formal verification
quantified boolean formulae
temporal logic
propositional logic
linear temporal logic
multi agent systems
knowledge base
np hard
first order logic
reasoning tasks
decision procedures
symmetry breaking
boolean formula