Keyphrases
- provably correct
- formal methods
- formal analysis
- model checking
- safety critical
- artificial intelligence
- knowledge based systems
- temporal properties
- formal specification
- process algebra
- model checker
- software engineering
- multi agent systems
- search space
- development lifecycle
- formal specification language
- cooperative
- reactive systems
- real world