Notices

  • End of Week 9 Notice

    Posted by Stephen Chuang Friday 08 November 2024, 11:47:30 PM.

    Assignment 2 is now well underway and is due in a little under 9 days from the time this notice was posted.

    Both quiz 5 and 6 are due this Sunday at 9 p.m.

    There will be no quiz for week 10.

    Forum help for the assignment will be available over both this weekend and next weekend, or you can also attend the week 10 post-lecture consultation.

  • Assignment 2 update

    Posted by Albert Nymeyer Wednesday 06 November 2024, 07:33:44 AM.

    Assignment 2 is now complete, a 4th exercise on lemmas that uses this and next week's lecture has been added. Get on the forum if anything is unclear or you get stuck.

    I will write a small blurb on performance, which is an issue you may need to consider when you get close to submission as there is a verification time limit in the auto-marker.

  • Week 9 notes and a new video

    Posted by Albert Nymeyer Friday 01 November 2024, 09:53:01 AM.

    Week 9 Dafny chapters ' Le mma Introductio n' and 'Lemma Induction 1' have been made opened. Also, a new video that shows Sam doing a proof by induction has been added to Practice and Play. Please take a look at them.

Upcoming Due Dates


Back to top

SENG2011 24T3 (Workshop on Reasoning about Programs) is powered by WebCMS3
CRICOS Provider No. 00098G