Efficient model checking for LTL with partial order snapshots.
Peter NiebertDoron A. PeledPublished in: Theor. Comput. Sci. (2009)
Keyphrases
- model checking
- partial order
- temporal logic
- bounded model checking
- partially ordered
- transition systems
- formal specification
- temporal properties
- computation tree logic
- model checker
- automated verification
- formal verification
- total order
- symbolic model checking
- linear temporal logic
- modal logic
- timed automata
- verification method
- linear time temporal logic
- epistemic logic
- concurrent systems
- reactive systems
- multi dimensional
- set theory
- initial state
- preference relations
- planning domains
- heuristic search