Workshop on Reasoning about Programs SENG2011 25T3

Quiz 2 Released

Posted by Stephen Chuang Wednesday 01 October 2025, 11:53:10 PM.

Quiz 2 has been released. Apologies for the delay; the quiz needed some last-minute changes because it had questions on lectures that had not been covered yet.

A video has also been opened up under the Practice and Play section.

First Exercises Released

Posted by Stephen Chuang Monday 29 September 2025, 09:17:25 PM.

A few exercises have been released under the Practice and Play section. These focus on the logic, predicate translation, and weakest precondition content from the first two weeks of lectures.

If you haven't already, now would also be a good time to start playing around 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.

End of Week 2 Notice and Quiz 1 Update

Posted by Stephen Chuang Friday 26 September 2025, 07:30:57 PM.

As we wrap up week 2, you should now have a solid grasp on the theoretical aspects of the course. We will soon start exploring Dafny a lot more in the lectures, and assignment 1 will also be released soon.

Early next week, we will be opening up some practice exercises. These give you an opportunity to experiment with Dafny and learn by doing, which would be very helpful for the assignments and final exam. Solutions will be provided about one week after the exercise is released.

Important: quiz 1

Question 19 in quiz 1 has been modified and a few questions have had some minor clarifications. All students who have submitted before the modification should revise their answers to question 19.

A few questions in this quiz also require reading through the slides from the Make Inferences lecture, which has not been finished this week.

To compensate, the due date has been moved 1 day later to 9 p.m. on Monday 29 September . Asking for a 1-day extension is still possible if you have a good reason.

Quiz 1 results and feedback will be released at 10 p.m. on Tuesday 30 September.