Case Studies and Tutorials for KeY
This page contains materials on cases studies done with KeY and on tutorials introducing to KeY.Case Studies
Tutorials
- Quicktour using UML/OCL: Example project and accompanying text as PDF
- Quicktour using JML: Example project and accompanying text as PDF
-
Verifying
Object-Orient Programs with KeY: A Tutorial
and the corresponding source files - Older versions

