Keyphrases
- model checking
- temporal logic
- computation tree logic
- temporal properties
- bounded model checking
- linear temporal logic
- minimal change
- alternating time temporal logic
- satisfiability problem
- formal verification
- artificial intelligence
- web pages
- database
- modal logic
- transition systems
- epistemic logic
- expressive power
- probabilistic model
- expert systems
- image processing
- information retrieval
- databases