Assignments + Final Project

Assignments

• Assignment 0: Software Installation - Due Friday, September 4th
• Assignment 1: Dafny Verification - Due Friday, September 18th
• Assignment 2: Haskell Basics - Due Friday, October 2nd
• Assignment 3: MiniDafny - Printing + Parsing - Due Friday, October 16th
• Assignment 4: MiniDafny - Interpreter - Due Friday, October 30th
• Assignment 5: MiniDafny - Verification Conditions - Due Friday, November 13th

The exact details of these assignments, including their number/topic are subject to change. This is a rough outline of the plan before the semester starts.

Final Project

The final project will be to combine assignments 3,4, and 5, and add Z3 integration in order to be able to verify a subset of Dafny programs.