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