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
- Various related courses and labs in German, KIT
- Software Engineering using Formal Methods course, TU Darmstadt version