Schedule

8.17

Date	Topic	Assignment Released
09/02	Intro
09/04	Dafny Basics Getting Started with Dafny
09/09	Floyd Hoare Logic	A1
09/11	Hoare Triple
09/16	Inductive Proofs	Quiz 1
09/18	Inductive Proofs
09/23	Inductive Types	Quiz 2
09/25	Inductive Types Sorting	A2
09/30	Hoare Triple: Loops Loop Invariants
10/02	Arrays
10/07	SAT Solver Basics SAT Solvers
10/09	Solving SAT and SMT Problems Using Z3	Quiz 3
10/10		A3
10/13	Fall Break
10/16	DPLL and CDCL Algorithms
10/21	Midterm Review
10/23	Midterm Exam
10/28	Testing Symbolic Execution	A4
10/30	Concolic Execution
11/04	Functional Programming in Rocq source	Quiz 4
11/06	Logic in Rocq
11/11	Logic in Rocq