Tuning the VSIDS Decision Heuristic for Bounded Model Checking.

Ohad Shacham Emmanuel Zarpas

Published in: MTV (2003)

Keyphrases

bounded model checking
formal verification
model checking
decision making
linear temporal logic
temporal logic
optimal solution
search algorithm
decision makers
decision problems
simulated annealing
tabu search
general purpose
feasible solution
search strategies
dynamic programming
search space
multi agent systems