Efficient Decision Procedures for Model Checking of Linear Time Logic Properties.
Roderick BloemKavita RaviFabio SomenziPublished in: CAV (1999)
Keyphrases
- model checking
- modal logic
- decision procedures
- temporal logic
- epistemic logic
- temporal epistemic
- temporal properties
- model checker
- bounded model checking
- verification method
- transition systems
- automated reasoning
- asynchronous circuits
- inference rules
- computation tree logic
- linear temporal logic
- formal verification
- alternating time temporal logic
- formal specification
- coalition logic
- symbolic model checking
- finite state machines
- theorem proving
- satisfiability problem
- model theoretic
- relational databases
- formal methods
- ctl model update
- linear time temporal logic
- machine learning
- natural language
- logic programming
- default logic
- knowledge representation