Posted on April 30, 2018

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. Another looping construct REPEAT is covered in the exercises, I suggest you go through that during your revision.