Teaching Formal Methods to Future Engineers.
Catherine DuboisVirgile PrevostoGuillaume BurelPublished in: FMTea (2019)
Keyphrases
- formal methods
- formal analysis
- knowledge based systems
- safety critical
- model checker
- model checking
- software engineering
- formal specification
- artificial intelligence
- process algebra
- educational technology
- high school
- provably correct
- computer programming
- computer scientists
- distance learning
- learning systems
- online learning
- graduate students
- temporal logic
- computational intelligence
- learning process
- learning environment
- e learning