A Program Logic For Dependence Analysis (Reviewers only)

This page contains the KeY version used for the evaluation as well as an archive with the examples

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., examples

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.