Keyphrases
- formal methods
- model checking
- formal analysis
- safety critical
- knowledge based systems
- process algebra
- formal specification
- artificial intelligence
- provably correct
- model checker
- software engineering
- temporal properties
- event detection
- learning process
- online learning
- learning systems
- learning environment
- e learning
- computer programming
- development lifecycle
- high school
- distance learning
- reactive systems
- higher education
- building blocks
- relational databases
- databases