Preliminary page for the KeY Tutorial @ FM 2024
This page will contain videos, examples and other supplementary material several weeks before the tutorial takes place.
- KeY Tutorial Version
- Tutorial Examples
- Videos (extern auf Youtube):
- Demo Binary Search (Recursive Version) [draft video]
- Tutorial Paper (preprint)