Teaching Materials for KeY
The following pages contain materials (course notes, slides, excercises) for teaching formal methods with KeY:
- Software Engineering using Formal Methods course, Chalmers
- Program Verification course, Chalmers
- Formal Verification of Software course, U Koblenz
- Various related courses and labs in German, U Karlsruhe