Workshop on Reasoning about Programs SENG2011 25T3

Assignment 1 Due in One Week

Posted by Stephen Chuang about 14 hours ago.

Assignment 1 is due at 9 p.m. next Sunday on 19 October. There is plenty of help available through the course forum (linked in the sidebar) and post-lecture consultations.

Quiz 3 is due at 9 p.m. tonight.

Week 4 Update

Posted by Stephen Chuang 4 days ago.

We are now in week 4, having covered arrays and invariants. This should let you make a start with the Dafny exercises in assignment 1.

Today is also the census date. The deadline to drop this course without academic nor financial penalty is 11:59 p.m. tonight.

Quiz 3 has been released, along with the factorial invariant exercise. Solutions to the wp and true or false exercises have also been released.

The previous quiz had a few students request for an extension after Monday 9 p.m. If you think you need an extension, try to request it before the Sunday 9 p.m. deadline. The maximum extension is usually 1 day so that results and feedback are released with enough time for you to look at them before the next lecture.

When submitting the quiz, you should also allow a bit of extra time in case the submission doesn't go through or is slow because of busy servers.

There will be no quiz next week. This should give you a bit more time to focus on submitting assignment 1.

Assignment 1 is available

Posted by Albert Nymeyer 10 days ago.

Assignment 1 has been released. It comprises five exercises. The last exercise may take you more time, but no exercise requires a solution of more than half a page (at most). Week 4's lecture will help with the Dafny exercises in the assignment.