An Empirical Study on Teaching Formal Methods to Millennials.
Néstor CatañoPublished in: SECM@ICSE (2017)
Keyphrases
- formal methods
- formal analysis
- model checker
- knowledge based systems
- model checking
- formal specification
- safety critical
- provably correct
- learning process
- e learning
- computer programming
- higher education
- artificial intelligence
- temporal properties
- process algebra
- security properties
- modeling language
- software engineering
- learning environment
- high school