Model Checking LTL Using Constraint Programming.
Javier EsparzaStephan MelzerPublished in: ICATPN (1997)
Keyphrases
- constraint programming
- model checking
- temporal logic
- bounded model checking
- constraint propagation
- model checker
- combinatorial problems
- linear temporal logic
- constraint satisfaction
- formal verification
- formal specification
- constraint satisfaction problems
- linear time temporal logic
- integer programming
- symbolic model checking
- global constraints
- transition systems
- computation tree logic
- symmetry breaking
- search strategies
- epistemic logic
- search heuristics
- formal methods
- propositional satisfiability
- verification method
- concurrent systems
- integrity constraints
- modal logic
- computational complexity