Assignments
- Assignment 1: Encoding the n-Queens Problem into SATDue Jan 19, 2018 at 8am10 Points Possible
- Assignment 2: Encoding the KenKen puzzle into SMTDue Jan 31, 2018 at 1:25pm10 Points Possible
- Assignment 3: Verification Condition GenerationDue Feb 7, 2018 at 1:25pm10 Points Possible
- Project IdeasDue Feb 14, 2018 at 1:25pm2 Points Possible
- Assignment 4: Exploring KLEEDue Feb 16, 2018 at 9am10 Points Possible
- Project ProposalDue Feb 28, 2018 at 1:25pm8 Points Possible
- Assignment 5: Proving Correctness in DafnyDue Feb 28, 2018 at 1:25pm20 Points Possible
- Assignment 6: Reading and Understanding Research PapersDue Mar 17, 2018 at 9am10 Points Possible
- Project Updates 1Due Mar 28, 2018 at 1:25pm2 Points Possible
- Project Updates 2Due Apr 4, 2018 at 1:25pm2 Points Possible
- Project Updates 3Due Apr 16, 2018 at 1:25pm2 Points Possible
- Final PresentationDue Apr 18, 2018 at 1:25pm30 Points Possible
- Final ReportDue Apr 25, 2018 at 8am50 Points Possible
- Final Letter GradeNo Points Possible
- Peer ReviewsDue Apr 28, 2018 at 8am10 Points Possible