User Tools

Site Tools


plt17:lecture_26

Lecture 26

Lecture 26 Slides (Hoare Logic for Concurrent Programs)

Readings

  • Susan Owicki, David Gries: “Verifying properties of parallel programs: an axiomatic approach”, Communications of the ACM, Volume 19 Issue 5, May 1976.
plt17/lecture_26.txt · Last modified: 2017/11/03 14:57 by hossein