Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs.

Marc Herbstritt Bernd Becker Christoph Scholl

Published in: MTV (2006)

Keyphrases

bounded model checking
model checking
formal verification
temporal logic
satisfiability problem
search algorithm
phase transition
boolean satisfiability
linear temporal logic
sat problem
search strategies
sat solvers
learning algorithm
multi agent systems
markov chain
sat instances