Tuning SAT solvers for LTL Model Checking.
Anissa KheireddineEtienne RenaultSouheib BaarirPublished in: APSEC (2022)
Keyphrases
- model checking
- sat solvers
- temporal logic
- bounded model checking
- orders of magnitude
- formal verification
- sat instances
- propositional satisfiability
- formal specification
- constraint satisfaction
- sat problem
- max sat
- search strategies
- model checker
- search space
- linear temporal logic
- symbolic model checking
- finite state
- search tree
- computation tree logic
- linear time temporal logic
- concurrent systems
- verification method
- formal methods
- clause learning
- transition systems
- satisfiability problem
- planning domains
- boolean formula
- modal logic
- reactive systems
- integer programming
- search strategy