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

• From the main exercise sheet: 1, 3, 4, 6, 10, 11, 14, 15, 20, 21, 25
• From Mike Gordon’s exercise sheet: 10, 11, 18

## 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.