Problem Sets
The reading assignments and the current draft of Prof. Jackson's textbook can be downloaded from the private website, to which students of the course have access. The assignments are also visible on the course calendar. Please note the submission instructions when turning in the assignments.
- * Reading A - Introductory Flames (due Mon Feb 7) - sample solutions
- * Problem Set 0 - Relational Logic Exercises (due Mon Feb 14) - sample solutions
- * Problem Set 1 - Simple Alloy Models (due Tue Feb 22) - sample solutions: #1-3, #4
- * Reading B - Formal Methods and Software Design: Advocacy and Critique (due Mon Feb 28) - sample solutions
- * Problem Set 2 - Static Alloy Model (due Wed March 9)
- * Reading C - Z Specifications (due Mon March 14)
- * Reading D - Beyond Interfaces
- * PS3 - Dynamic Alloy Model
- * PS4 - Modal Logic and Model Checking with NuSMV
- * PS5 - Proving the Correctness of a Procedure
- * Reading E - The Nature of Bugs in Software
- * Final Project