Making Formal Methods Popular: The Crux is Math Education!
Franz LichtenbergerPublished in: FMSEE&T@FM (2015)
Keyphrases
- formal methods
- formal analysis
- safety critical
- provably correct
- artificial intelligence
- model checking
- software engineering
- knowledge based systems
- formal specification
- information and communication technologies
- distance learning
- model checker
- community college
- intelligent tutors
- higher education
- information systems
- process algebra
- mathematics learning
- databases
- temporal logic
- development lifecycle