Prospects and Limitations of Automatic Assertion Generation for Loop Programs
- 1 December 1977
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 6 (4) , 718-729
- https://doi.org/10.1137/0206052
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Some Aspects of the Verification of Loop ComputationsIEEE Transactions on Software Engineering, 1978
- Proving loop programsIEEE Transactions on Software Engineering, 1975
- An axiomatic basis for computer programmingCommunications of the ACM, 1969