Teaching Experience: Logic and Formal Methods with Coq.
Martin HenzAquinas HoborPublished in: CPP (2011)
Keyphrases
- formal methods
- model checker
- formal analysis
- model checking
- knowledge based systems
- formal specification
- safety critical
- artificial intelligence
- provably correct
- higher education
- online learning
- learning environment
- software engineering
- communication skills
- computer programming
- process algebra
- asynchronous circuits
- engineering courses
- reactive systems
- learning process
- teacher education
- fine grained
- knowledge acquisition
- development lifecycle
- e learning