Correct Programs without Proof? On Checker-Based Program Verification
- 1 January 1999
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Software reliability via run-time result-checkingJournal of the ACM, 1997
- Designing programs that check their workJournal of the ACM, 1995
- Compiler Specification and VerificationPublished by Springer Nature ,1981
- Toward a theory of test data selectionACM SIGPLAN Notices, 1975