Formal Verification of a Generic Framework to Synthetize SAT-Provers.
Francisco-Jesús Martín-MateosJosé-Antonio AlonsoMaría-José HidalgoJosé-Luis Ruiz-ReinaPublished in: J. Autom. Reason. (2004)
Keyphrases
- formal verification
- model checking
- satisfiability problem
- automated verification
- model checker
- bounded model checking
- boolean satisfiability
- sat solvers
- theorem prover
- symbolic model checking
- search algorithm
- stochastic local search
- sat problem
- phase transition
- program slicing
- temporal logic
- max sat
- search strategies
- theorem proving
- propositional satisfiability
- sat instances
- sat solving
- stochastic local search algorithms
- reinforcement learning
- functional verification
- search procedures
- lower bound