Keyphrases
- formal methods
- formal analysis
- safety critical
- formal specification
- artificial intelligence
- knowledge based systems
- industrial applications
- model checker
- model checking
- provably correct
- temporal properties
- software engineering
- process algebra
- reactive systems
- formal specification language
- development lifecycle
- knowledge acquisition
- knowledge base
- case study
- machine learning