Assignments
| Assignment | Date Out | Date Due |
|---|---|---|
| Oracle* | F 1/29 | Th 2/4, 11:59pm |
| Python Lab (Optional) | Su 1/30 | M 2/1, 8-10pm |
| Alloy 1: Relations | F 2/5 | Th 2/11, 11:59pm |
| Alloy 2: Dynamics | F 2/12 | Th 2/18, 11:59pm |
| Alloy 3: Basic Modeling | F 2/19 | Th 2/25, 11:59pm |
| Pick Teams for Case-Studies | Th 3/3, 11:59pm | |
| Alloy 4 : More Modeling | F 2/26 | Th 3/3, 11:59pm |
| Alloy 5 : Advanced Modeling | F 3/4 | Th 3/17, 11:59pm |
| SAT Lab* (In Class) | M 3/14 - F 3/18 | |
| SMT | F 3/18 | Th 3/24, 11:59pm |
| Case-Study Presentations | M 3/21 - F 3/25 | |
| Project Proposal | Th 4/7, 11:59pm | |
| Model Checker 1 | F 4/8 | Th 4/14, 11:59pm |
| Model Checker 2 | Sa 4/16 | F 4/22, 11:59pm |
| Liquid Haskell | F 4/22 | Th 4/28, 11:59pm |
| Project Due Electronically | M 5/9, 11:59pm | |
| Project Presentations by Appointment | Tu 5/10 - Th 5/12 | |
Note: Assignments marked with * are language agnostic.