This page contains the KeY version used for the evaluation as well as an archive with the examples.
- KeY distribution: You need Java 12 to run this version of KeY
Download the KeY distribution and unpack it in a directory of your choice. Start KeY by clicking on
KeY.jar (or by
java -jar KeY.jar on the command line). Download then the examples and extract them into a directory, e.g.,
In KeY you can now load the examples via menu File | Load … When you select the files ending with .proof you get the closed (and open) proofs reported in the evaluation section. You can also load the .key files to load the proof obligation and perform the proofs by yourself.