Workshop on Reasoning about Programs SENG2011 26T3

Assignment 1 released

Posted by Ayra Saqib Friday 02 October 2026, 04:09:36 PM.

Hi everyone,

Assignment 1 has been released. It comprises seven exercises. The Dafny exercises may take you more time, but no exercise requires a solution of more than half a page. Week 4’s lecture will help with the Dafny exercises.

You are encouraged to ask any clarifications or questions in the forum

Practice and Play activity released

Posted by Ayra Saqib Sunday 20 September 2026, 11:51:46 AM.

Hi everyone,

The first Practice and Play activity has been released to help you start playing around and getting comfortable with Dafny. The Make a Start document covers the verification of a simple method to square an integer. See if you can find other ways to make the method verify. Remember that all assignment exercises and the final exam must verify with CSE Dafny, so if you are installing Dafny locally, it is best to copy your files to CSE systems and make sure they also verify there before you submit.

Quiz 1 released

Posted by Ayra Saqib Friday 18 September 2026, 05:42:34 PM, last modified Sunday 20 September 2026, 11:52:12 AM.

Hi everyone,

Quiz 1 is now open. This quiz will cover topics from both week 1 and week 2 lectures, so you won't be able to answer every question yet. It is best to write down the answers for the questions you can answer somewhere (because they will not save) and return to the quiz after the week 2 lecture.

The following applies to all quizzes:

• With the exception of quiz 1, the quiz released during week n (typically Friday after the lecture) will be due at 9 p.m. the following Tuesday (week n+1), giving you approximately 4 days.
• Late submissions are not allowed and the maximum possible extension is one day. This is to allow you to get marks and feedback before the next lecture.
• Feedback and results will be released the day after the quiz is due at 10pm
• There will be no quizzes in weeks 6 and 10.
• Quiz 1 will have 20 questions because it covers 2 weeks of content. The rest of the quizzes (2 - 6) have 10 questions each. Your total mark out of 70 will be used to calculate your overall quiz mark.
• Some questions have radio buttons where selecting only one answer is possible. Other questions will have checkboxes where selecting one or more answers is possible. Partial marks are available for multi-selection questions, but selecting incorrect answers for multi-selection questions will result in loss of marks.
• All questions are worth one mark.
• You will never receive fewer than 0 marks for any particular question.

If you have any question feel free to post them on the forum :)