Lab 2

Specification and Verification of Programs using KeY

• The instructions for this lab can be found in this pdf.
• Accompanying source code can be found in this zip archive.
• Please see Links, Papers, and Software for how to get the KeY system.