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 |