The role of proof obligations in software design
- 1 January 1985
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A logic covering undefinedness in program proofsActa Informatica, 1984
- Tentative steps toward a development method for interfering programsACM Transactions on Programming Languages and Systems, 1983
- The ?Hoare logic? of concurrent programsActa Informatica, 1980
- A proof method for cyclic programsActa Informatica, 1978
- Verifying properties of parallel programsCommunications of the ACM, 1976
- Parallel programming: An axiomatic approachComputer Languages, 1975