The latest KeY tutorial was held at FM 2024. You find all material from the tutorial on this website for self-study and experimentations. In case of any problems or questions, please approach us by email via support@key-project.org
Material
- Tutorial Paper (preprint) / published version @ Springer
- Tutorial Slides: without overlays / with overlays
- FM’24 KeY-JML Cheatsheet
- Tutorial Examples: the examples repository contains the KeY version used for the tutorial (folder
tools)