Teaching Formal Methods: An Experience Report.
Mehrnoosh AskarpourMarcello M. BersaniPublished in: FISEE (2019)
Keyphrases
- formal methods
- formal analysis
- artificial intelligence
- formal specification
- knowledge based systems
- model checking
- safety critical
- model checker
- high school
- software engineering
- learning environment
- higher education
- learning process
- process algebra
- e learning
- computer programming
- online learning
- temporal properties
- modeling language
- provably correct
- reactive systems
- case study
- machine learning
- formal specification language