1.  24
    Deductive Program Verification (a Practitioner's Commentary).David A. Nelson - 1992 - Minds and Machines 2 (3):283-307.
    A proof of ‘correctness’ for a mathematical algorithm cannot be relevant to executions of a program based on that algorithm because both the algorithm and the proof are based on assumptions that do not hold for computations carried out by real-world computers. Thus, proving the ‘correctness’ of an algorithm cannot establish the trustworthiness of programs based on that algorithm. Despite the (deceptive) sameness of the notations used to represent them, the transformation of an algorithm into an executable program is a (...)
    Direct download (3 more)  
    Export citation  
    Bookmark   8 citations  
  2.  29
    Discussion Reviews.Henry E. Kyburg & David A. Nelson - 1994 - Minds and Machines 4 (1):81-101.
  3. Special Issue on System Verification.David A. Nelson - 1994 - Minds and Machines 4:93-101.