Keyphrases
- model checker
- model checking
- formal verification
- bounded model checking
- temporal logic
- test suite
- transition systems
- formal specification
- symbolic model checking
- linear temporal logic
- test cases
- formal methods
- specification language
- concurrent systems
- software testing
- modal logic
- reactive systems
- reinforcement learning
- artificial intelligence
- object oriented