Week 2 - introduction cont'd. Possibly start model-checking.
Week 3 - BDDs and start symbolic model-checking.
Week 4 - Finish symbolic model-checking.
Week 5 - Assignment 1 due. Automata-theoretic model-checking. SPIN.
Week 6 - Model-checker SPIN.
Week 7 - Assignment 2 due. Process Algebras.
Week 8 - Concurrency Workbench.
Week 9 - Assignment 3 due. Theorem-proving: introduction and LP.
Week 10 - More theorem-proving. PVS (or another theorem-proving system)
Week 11 - Assignment 4 due. Topics of interest. Individual discussions of research projects.
Week 12 - Topics of interest.
Week 13 - Topics of interest.