QBF-Based Formal Verification: Experience and Perspectives.

Marco Benedetti Hratch Mangassarian

Published in: J. Satisf. Boolean Model. Comput. (2008)

Keyphrases

formal verification
model checking
model checker
bounded model checking
automated verification
symbolic model checking
quantified boolean formulas
temporal logic
search algorithm
multi agent systems
program slicing