January 20 - introduction cont'd. Possibly start model-checking.
January 27 - BDDs and start symbolic model-checking.
February 3 - Finish symbolic model-checking.
February 10 - Assignment 1 due. Automata-theoretic model-checking. SPIN.
February 17 - Model-checker SPIN.
February 24 - Assignment 2 due. Process Algebras.
March 3 - No class
March 10 - Concurrency Workbench.
March 17 - Assignment 3 due. Theorem-proving: introduction and LP.
March 24 - More theorem-proving. PVS (or another theorem-proving system)
March 31 - Assignment 4 due. Topics of interest. Individual discussions of research projects.
April 7 - Topics of interest.
April 14 - Topics of interest.
April 21 - no class
April 28 - Miniconference - presentation of projects.