Keyphrases
- temporal logic
- model checking
- temporally extended
- model checker
- modal logic
- formal methods
- concurrent systems
- satisfiability problem
- linear temporal logic
- transition systems
- verification method
- bounded model checking
- mazurkiewicz traces
- decision theoretic
- belief revision
- plan recognition
- temporal knowledge
- formal specification
- theorem proving
- theorem prover
- situation calculus
- computation tree logic
- epistemic logic
- reactive systems
- formal specification language
- finite state