Keyphrases
- formal methods
- safety critical
- safety analysis
- knowledge based systems
- formal specification
- artificial intelligence
- fault tolerant
- formal analysis
- model checking
- information systems
- provably correct
- model checker
- embedded systems
- development lifecycle
- reactive systems
- databases
- distributed systems
- software engineering
- machine learning