Keyphrases
- formal verification
- model checker
- model checking
- bounded model checking
- programming language
- natural language
- automated verification
- temporal logic
- specification language
- orders of magnitude
- symbolic model checking
- finite state
- description language
- markov decision process
- linear temporal logic
- optimal policy
- fuzzy sets