Keyphrases
- bounded model checking
- temporal logic
- model checking
- formal verification
- computation tree logic
- high level
- temporal properties
- linear temporal logic
- refinement process
- databases
- transition systems
- formal semantics
- machine learning
- query refinement
- operational semantics
- epistemic logic
- programming language
- state space
- symbolic model checking
- website
- information retrieval
- abstraction hierarchy
- database