Verifying Properties of Parallel Programs: An Axiomatic Approach

  title={Verifying Properties of Parallel Programs: An Axiomatic Approach},
  author={Susan S. Owicki and David Gries},
  journal={Commun. ACM},
An axiomatic method for proving a number of properties of parallel programs is presented. Hoare has given a set of axioms for partial correctness, but they are not strong enough in most cases. This paper defines a more powerful deductive system which is in some sense complete for partial correctness. A crucial axiom provides for the use of auxiliary variables, which are added to a parallel program as an aid to proving it correct. The information in a partial correctness proof can be used to… CONTINUE READING
Highly Influential
This paper has highly influenced 44 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 511 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 333 extracted citations

Logical Concurrency Control from Sequential Proofs

Logical Methods in Computer Science • 2009
View 5 Excerpts
Highly Influenced

Computational Science and Its Applications -- ICCSA 2015

Lecture Notes in Computer Science • 2015
View 4 Excerpts
Highly Influenced

Formal Techniques for Distributed Objects, Components, and Systems

Lecture Notes in Computer Science • 2015
View 9 Excerpts
Highly Influenced

Proofs that count

View 7 Excerpts
Highly Influenced

A Revisionist History of Concurrent Separation Logic

Electr. Notes Theor. Comput. Sci. • 2011
View 14 Excerpts
Highly Influenced

512 Citations

Citations per Year
Semantic Scholar estimates that this publication has 512 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…