Assignments + Final Project

Assignments

• Assignment 0: Software Installation - Due Friday, February 2nd
• Assignment 1: Dafny Basics - Due Friday, February 9th
• Assignment 2: Dafny Verification - Due Friday, February 23rd
• Assignment 3: Haskell Basics - Due March 8th
• Assignment 4: MiniDafny - Printing - Due March 15th
• Assignment 5: MiniDafny - Parsing - Due April 5th
• Assignment 6: MiniDafny - Verification Conditions - Due April 19th

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 4,5, and 6, and add Z3 integration in order to be able to verify a subset of Dafny programs.