Posted on April 30, 2018 and last updated on May 19, 2019

Hoare Logic and Model Checking I

From the example sheets on the course web page

Exam questions

Exam safety tips

If the examiner decides to be mean, he will make you derive a rule for the FOR loop or some other looping language construct. FOR loop was lecutred in the previous iteration of the course, e.g. 2015/2016, so I suggest you look through the relevant slides of that year.