An Experimental Comparison of Theorem Provers for CTL.
Rajeev GoréJimmy ThomsonFlorian WidmannPublished in: TIME (2011)
Keyphrases
- theorem prover
- model checking
- temporal logic
- computation tree logic
- inference rules
- theorem proving
- bounded model checking
- automated reasoning
- automated theorem proving
- modal logic
- first order logic
- temporal properties
- formal semantics
- epistemic logic
- automated deduction
- timed automata
- term rewriting
- computer algebra
- minimal change
- linear temporal logic
- formal verification
- alternating time temporal logic
- natural deduction
- computer algebra systems
- proof planning
- higher order logic
- expert systems
- proof search
- qualitative preferences