Strengths and weaknesses of Program Verification Systems
- 10 June 2005
- book chapter
- Published by Springer Nature
- p. 396-404
- https://doi.org/10.1007/bfb0022132
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- The Science of ProgrammingPublished by Springer Nature ,1981
- Social processes and proofs of theorems and programsCommunications of the ACM, 1979
- Stanford Pascal Verifier User ManualPublished by Defense Technical Information Center (DTIC) ,1979
- Abstract data types and software validationCommunications of the ACM, 1978