Assignments + Final Project

Assignments

• Assignment 0: Software Installation - Due Friday, January 30th
• Assignment 1: Dafny Verification - Due Tuesday, February 17th
• Assignment 2: Haskell Basics - Due Friday, February 27th
• Assignment 3: MiniDafny - Printing + Parsing - Due Friday, March 27th
• Assignment 4: MiniDafny - Interpreter - Due Friday, April 10th
• Assignment 5: MiniDafny - Verification Conditions - Due Tuesday, April 21st

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.