Safety Property Verification Using Sequential SAT and Bounded Model Checking.
Ganapathy ParthasarathyMadhu K. IyerKwang-Ting ChengLi-C. WangPublished in: IEEE Des. Test Comput. (2004)
Keyphrases
- bounded model checking
- model checking
- formal verification
- temporal logic
- satisfiability problem
- linear temporal logic
- sat solvers
- search algorithm
- multi agent systems
- concurrent systems
- sat solving
- sat problem
- formal specification
- finite state
- modal logic
- propositional satisfiability
- epistemic logic
- boolean satisfiability
- search strategies
- np complete
- programming language
- stochastic local search algorithms
- general purpose