September 12 - course organization and introduction to formal methods.
September 19 - introduction cont'd.
September 26 - no class.
October 3 - BDDs and start symbolic model-checking.
October 10 - Finish symbolic model-checking.
October 17 - Assignment 1 due. Discussion of assignment
October 24 - no class (Marsha ill).
October 31 - SPIN.
November 7 - Assignment 2 due. Discussion of assignment. Start Concurrency Workbench.
November 14 - Concurrency Workbench and process algebras.
November 21 - Assignment 3 due. Discussion of assignment and introduction to theorem-proving.
November 28 - PVS.
December 5 - Assignment 4 due. Discussion of assignment and finish PVS.
December 12 - Presentation of projects.
Sometime in January - Presentation of projects (cont'd).