Keyphrases
- formal methods
- artificial intelligence
- formal analysis
- formal specification
- knowledge based systems
- process algebra
- provably correct
- model checker
- model checking
- safety critical
- knowledge base
- flow field
- reactive systems
- temporal properties
- real world
- software engineering
- information flow
- fine grained
- database systems
- high level
- machine learning