Keyphrases
- model checking
- context free
- finite state
- temporal logic
- context dependent
- context sensitive
- model checker
- grammatical inference
- formal verification
- temporal properties
- formal specification
- automated verification
- finite state machines
- epistemic logic
- symbolic model checking
- verification method
- context free grammars
- tree automata
- formal methods
- transition systems
- computation tree logic
- markov chain
- bounded model checking
- inductive inference
- reinforcement learning
- markov decision processes
- computational model
- dynamic programming
- low level
- relational databases
- expert systems