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.