Model Checking: New Challenges and Opportunities for Automated Reasoning (Invited Talk).
Alessandro ArmandoPublished in: PAAR/ESHOL (2008)
Keyphrases
- automated reasoning
- automated verification
- invited talk
- model checking
- temporal logic
- knowledge representation
- theorem prover
- probabilistic reasoning
- theorem proving
- decision procedures
- reasoning tasks
- formal verification
- selected papers
- temporal properties
- verification method
- model checker
- symbolic model checking
- computation tree logic
- formal methods
- knowledge discovery and data mining
- timed automata
- pspace complete
- formal specification
- transition systems
- bounded model checking
- machine learning
- heuristic search
- distributed systems
- databases