Verifying properties of parallel programs: An axiomatic approach

Communications of the ACM

Volumn 19, Issue 5, 1976, Pages 279-285

  Owicki, Susan ^a   Gries, David ^a  

^a Department of Obstetrics Gynecology   (United States)

Author keywords

concurrent processes; correctness proofs; deadlock; mutual exclusion; program verification; structured multiprogramming; synchronization

Indexed keywords

COMPUTER METATHEORY; COMPUTER OPERATING SYSTEMS;

COMPUTER SYSTEMS PROGRAMMING;

EID: 0016951439     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/360051.360224     Document Type: Article

References (9)

1. 1 Brinch Hansen, P. Concurrent programming concepts. Computing Surveys 5, 4 (Dec. 1973), 223-245.]
2. 2 Cook, S. A. Axiomatic and interpretive semantics for an Algol fragment. Tech. Rep. 79, Dep. of Computer Sci., U. of Toronto, 1975.]
3. 3 Gries, D. An exercise in proving properties of parallel programs. Lecture notes, Technical U. Munich.]
4. 4 Hoare, C.A.R. An axiomatic basis for computer programming. Comm. ACM 12, 10 (Oct. 1969), 576-580.]
5. 5 Hoare, C.A.R. Monitors: an operating system structuring concept. Comm. ACM 17, 10 (Oct. 1974), 548-557.]
6. 6 Hoare, C.A.R. Towards a theory of parallel programming. In Operating Systems Techniques, Hoare and Perott (Eds.), Academic Press, New York, 1972.]
7. 7 Lauer, H.C. Correctness in operating systems. Ph.D. Th., Carnegie-Mellon U., 1973.]
8. 8 Manna, Z. and Pnueli, A. Axiomatic approach to total correctness of programs. Acta lnformatica 3 (1974), 243-263.]
9. 9 Owicki, S. Axiomatic proof techniques for parallel programs. Ph.D. Th., Cornell U., 1975.]