Assignments

Submit on Markus.

All assignments are to be completed by groups of up to 4 students. Only one assignment needs to be submitted by each group. The assignments are simple but involve a degree of learning to work with a new tool. The team format is meant to provide you with a local support group to quickly learn the necessities together. You do not have to stick with the same group throughout the term. Feel free to switch groups. You can form groups with people from a different section of the course. The only limitation is that graduate students can only be in a group with other graduate students.

Everything is due at 11:59:59 pm on the day of its due date.

Below is an estimate for assignment release and due times. The times will be adjusted during the semester to ensure that an assignment is released when the topic is fully covered in class, and this can vary slightly by the number of questions asked during the class and the pace at which the class is comfortable to make progress.

• Assignment (1): (15%) Program Correctness, dafny files
  • Release 9/14, Due 9/28
  • Class-wide 3-day extension changes the due date to 10/1
• Assignment (2): (15%) Dataflow Analysis, Tundra
  • Release 10/5, Due 10/19
  • Graduate Problem released on 10/10
  • One wrong test for Problem 3 was corrected on 10/19
  • Deadline extended to 10/23 to compensate for the above bug
• Assignment (3): (15%) SAT/SMT, starter code
  • Release 10/25, Due 11/16
• Assignment (4): (15%) Model Checking
  • Release 11/16, Due 12/6
  • Fully released on 11/23

Bold dates are fixed. Other dates are approximate but will not change by more than a few days.