Software Verification
2009–10

Principal lecturer: Dr Matthew Parkinson
Taken by: MPhil ACS
Syllabus

Notes for the course:

• Part I (Introduction to Hoare logic)
• Part II (Heap)
• Part III (Concurrency)

• Example from Lecture 3

• Answers for some of the lectures.

• Mock Test
• Answers to part A I have omitted question 5, as it was to easy it is simply an application of a single axiom.