A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The application of program-proving techniques to the verification of synchronization processes
1972
Proceedings of the December 5-7, 1972, fall joint computer conference, part I on - AFIPS '72 (Fall, part I)
Preserved Fulltext
We emphasize t.hat. t.his proof process est.ablishes program correct.ness wit.h respect. t.o t.he user-supplied assert.ions. As anot.her way of looking at. t.he process, t.he proof est.ablishes t.he equivalence bet.ween a procedural descript.ion (i.e., the program) and a nonprocedural description (i.e., the assertions). From the collection of the Computer History Museum (www.computerhistory.org)
doi:10.1145/1479992.1479997
dblp:conf/afips/Levitt72
fatcat:cd2w6y6p35difkvrdhq6zxdxzm