Keyphrases
- model checking
- temporal logic
- formal verification
- formal specification
- temporal properties
- computation tree logic
- epistemic logic
- linear temporal logic
- bounded model checking
- relational databases
- modal logic
- formal methods
- global consistency
- data structure
- video sequences
- multiscale
- bayesian networks
- decision making
- genetic algorithm
- real time
- database