Dave—a validation error detection and documentation system for fortran programs

This publication has 9 references indexed in Scilit:

• Quantitative aspects of software validation
  ACM SIGPLAN Notices, 1975
• An interactive program verification system
  Published by Association for Computing Machinery (ACM) ,1975
• The impact of language design on the production of reliable software
  Published by Association for Computing Machinery (ACM) ,1975
• The pfort verifier
  Software: Practice and Experience, 1974
• Measurements of parallelism in ordinary FORTRAN programs
  Computer, 1974
• An Assessment of Techniques for Proving Program Correctness
  ACM Computing Surveys, 1972
• Chief programmer team management of production programming
  IBM Systems Journal, 1972
• Program development by stepwise refinement
  Communications of the ACM, 1971
• GRAPH THEORY
  Published by Defense Technical Information Center (DTIC) ,1969