Computer Laboratory

Course pages 2012–13

Hoare Logic

Material is examinable if it is presented in lectures!

Exercises and past exam questions



The whole set of slides is available both as a single document:

or split into sections:

Material from lectures

Occasionally, I sketch a proof during lectures. Here are some of those proof sketches.

Interesting links

Related courses