Improving SAT-Based Bounded Model Checking by Means of BDD-Based Approximate Traversals.

Gianpiero Cabodi Sergio Nocco Stefano Quer

Published in: DATE (2003)

Keyphrases

bounded model checking
model checking
formal verification
temporal logic
linear temporal logic
multi agent systems
simulated annealing