| Assignment |
Date Out |
Date Due |
| Oracle |
F 1/27 | Th 2/2, 11:59pm |
| Alloy 1: Relations |
F 2/3 | Th 2/9, 11:59pm |
| Alloy 2: Basic Modeling |
F 2/10 | Th 2/16, 11:59pm |
| Alloy 3: More Modeling |
F 2/17 | Th 2/23, 11:59pm |
| Alloy 4: Dynamics |
F 2/24 | Th 3/2, 11:59pm |
| Pick Teams for Case-Studies |
Th 3/2, 11:59pm |
| Alloy 5: Advanced Modeling |
F 3/3 | Th 3/16, 11:59pm |
| Pick Teams for Final Projects |
Th 3/16, 11:59pm |
| Resolution |
F 3/17 | Th 3/23, 11:59pm |
| Project Proposal |
Th 3/23, 11:59pm |
| Case Studies |
M 3/20 - F 3/24 |
| Model Checking |
M 4/3 | Th 4/13, 11:59pm |
| SMT/Rosette |
M 4/17 | Th 4/27, 11:59pm |
| Project Due Electronically |
T 5/2, 11:59pm |
| Project Presentations by Appointment |
W 5/3 - F 5/5, 11:59pm |