Week 2 - introduction cont'd. 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.
Week 11 - Assignment 4 due. PVS or another theorem-prover of interest Individual discussions of research projects.
Week 12 - Topics of interest.
Week 13 - Topics of interest.