Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style reasoning and Theorem Proving.
Jürgen DingelThomas FilkornPublished in: CAV (1995)
Keyphrases
- model checking
- theorem proving
- automated verification
- automated reasoning
- timed automata
- data abstraction
- formal specification
- finite state machines
- temporal logic
- theorem prover
- first order logic
- formal methods
- inference rules
- decision procedures
- reasoning tasks
- expert systems
- incomplete information
- database
- machine learning
- database applications
- database management systems
- probabilistic reasoning
- knowledge representation
- information systems