Lecture 26 Slides (Hoare Logic for Concurrent Programs)

• Susan Owicki, David Gries: “Verifying properties of parallel programs: an axiomatic approach”, Communications of the ACM, Volume 19 Issue 5, May 1976.