Reference Book || Course Contents || Background Requirements || Deadlines and Grading || Project Topics
Model Checking, Edmund M. Clarke, Jr., Orna Grumberg, Doron A. Peled,
MIT Press, 1999. (you can find it in the CCU library) |
Parts | Weeks |
---|---|
Introduction to CAV | 1, 2 |
Introduction to Model Checking | 3 |
System Model and Logic Specification | 4, 5 |
Explicit/Symbolic Model Checking | 6, 7, 8 |
Mid-Term Exam | 9 |
BMC, SAT | 10 |
Assume-Guarantee Reasoning | 11, 12 |
Priority and Urgency Verification | 13 |
Coverage Analysis | 14 |
Paper Presentations | 15 |
Project Results Presentations | 16 |
Final Exam | 17 |
The following are recommended but NOT required!
Work | Deadline | Grade (%) |
---|---|---|
Labs & Assignments | 2 weeks due | 25% |
Project Proposal | March 29, 2006 | N/A |
Project Work | April, May 2006 | N/A |
Paper Selection | April 19, 2006 | N/A |
Mid-Term Exam | April 19, 2006 | 20% |
Paper Presentation | June 7, 2006 | 15% |
Project Results Report and Presentation | June 14, 2006 | 20% |
Final Exam | June 21, 2006 | 20% |