Unifying proof methodologies of duration calculus and timed linear temporal logic.
Zhiming LiuAnders P. RavnXiaoshan LiPublished in: Formal Aspects Comput. (2004)
Keyphrases
- linear temporal logic
- timed automata
- model checking
- temporal logic
- theorem prover
- theorem proving
- automated theorem proving
- bounded model checking
- linear time temporal logic
- proof search
- transition systems
- natural deduction
- formal verification
- sequent calculus
- finite state
- linear logic
- petri net
- formal specification
- proof procedure
- model checker
- computer algebra
- provably correct
- inference rules
- cut elimination
- modal logic
- formal methods
- machine learning
- planning domains
- orders of magnitude