Keyphrases
- error rate
- model checker
- model checking
- formal verification
- formal methods
- temporal logic
- description language
- formal specification
- symbolic model checking
- set theory
- test suite
- source code
- ai planning
- specification language
- mathematical morphology
- programming language
- computational intelligence
- search heuristics
- general purpose
- genetic algorithm