Keyphrases
- formal methods
- cloud computing
- model checking
- formal analysis
- model checker
- formal specification
- safety critical
- artificial intelligence
- software engineering
- provably correct
- knowledge based systems
- temporal properties
- process algebra
- data center
- modeling language
- security properties
- database
- building blocks
- open source
- databases