Exercise Week 50, Thursday 15/12

(I am not accountable for solutions of old exams, except the ones that have my name on)

Student Preparation

Bring some good 'ol fashioned pen and paper. We will practice selected old exam questions during the session. Given the complexity, we will allocate more time towards formal specification and verification.

Agenda

We'll go through the Exam from 2021 (solution) and some from the re-exam of the same year (solution).

Older

Here are other assignments from past papers you can look at:

Debugging: Exam from 2018, Assignment 2 (Minimization using DDMin) / Solution 2018
Formal Specification: Exam from 2016, Assignment 7 (Dafny method "reverse") / Solution 2016
Formal Verification: Re-exam from 2014, Assignment 4 (Dafny method "AlwaysEven") / Solution 2014
More Formal Verification: Exam from 2018, Assignment 7 (Dafny method "m1")

Notes.dfy