Hierarchical program specification and verification ? a many-sorted logical approach
- 1 August 1980
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 14 (2) , 135-155
- https://doi.org/10.1007/bf00288541
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Abstract data types and software validationCommunications of the ACM, 1978
- Axioms for total correctnessActa Informatica, 1977
- An Introduction to the Construction and Verification of Alphard ProgramsIEEE Transactions on Software Engineering, 1976
- Remarks on ?program proving: Jumps and functions by M. Clint and C. A. R. Hoare?Acta Informatica, 1976
- Specification techniques for data abstractionsIEEE Transactions on Software Engineering, 1975
- Automatic program verification I: A logical basis and its implementationActa Informatica, 1975
- Program proving: Jumps and functionsActa Informatica, 1972
- Proof of correctness of data representationsActa Informatica, 1972