FMCO 2006 Submission:
"Verifying Object-Oriented Programs with KeY: A Tutorial"

• The case study considered in the paper
• An updated version of the case study that works with recent versions of KeY.
• A binary distribution of the KeY version that was used in the paper, and installation instructions. You can find further comments, examples, and the necessary libraries here.