Adapting to Different Types of Target Audience in Teaching Formal Methods.
Antonio CeroneKarl Reiner LermerPublished in: FMFun (2019)
Keyphrases
- formal methods
- target audience
- formal analysis
- artificial intelligence
- process algebra
- model checker
- knowledge based systems
- software engineering
- learning process
- model checking
- formal specification
- computer programming
- learning environment
- provably correct
- e learning
- online learning
- safety critical
- higher education
- distance learning
- temporal logic
- reactive systems
- databases