The readings are from Software Abstractions (2nd edition) by Daniel Jackson (MIT Press) unless otherwise noted.
Assignments
| Assignment | Date Out | Date Due | Reading |
|---|---|---|---|
| Oracle | F 1/25 | Sa 2/2, 11:59pm | |
| Dafny 1 | F 2/1 | Th 2/7, 11:59pm | |
| Alloy 1 | F 2/8 | Th 2/14, 11:59pm | Software Abstractions, p. 5-32 Article |
| Alloy 2 | F 2/15 | Th 2/21, 11:59pm | Software Abstractions, p. 33-83 |
| Alloy 3 | S 2/23 | F 3/1, 11:59pm | Software Abstractions, p. 85-103, 141-169 |
| Alloy 4 | F 3/1 | Th 3/7, 11:59pm | Article |
| Case Study 1 | F 3/8 | Th 3/14, 11:59pm | Case study readings (see assignment doc), Optional: Software Abstractions 5.2 (p. 147-157) on SAT and skolemization |
| Midterm Project | F 3/8 | Th 3/21, 11:59pm | |
| Midterm Project Design Check | Th 3/14, 11:59pm | ||
| Final Project | T 4/2 | Su 5/5, 11:59pm | |
| Final Project Proposal | W 4/10, 4:30pm | ||
| Final Project Design Check 1 | W 4/10 - Th 4/11, 11:59pm | For guest lecture, 4/12: article blog |
|
| LTL | F 4/12 | Th 4/18, 11:59pm | |
| Isabelle (OPTIONAL) | F 4/19 | F 5/3, 11:59pm | This optional assignment can count for up to 10 extra credit points on the midterm (cap at 100) |
| Case Study 2 | Sa 4/20 | Su 4/28, 11:59pm | |
| Final Project Design Check 2 | W 4/24-Th 4/25 | ||
| Project Due Electronically | Su 5/5, 11:59pm |