Refining the SAT decision ordering for bounded model checking.
Chao WangHoonSang JinGary D. HachtelFabio SomenziPublished in: DAC (2004)
Keyphrases
- bounded model checking
- model checking
- temporal logic
- formal verification
- satisfiability problem
- decision making
- linear temporal logic
- decision makers
- sat solvers
- phase transition
- partial order
- decision rules
- multi agent systems
- propositional satisfiability
- search algorithm
- logic programs
- boolean satisfiability
- sat solving
- concurrent systems