LOGIC FOR
SYSTEMS

Assignments

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