[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

Hart95

  1. Johnson M. Hart
  2. Experience with Logical Code Analysis in Software Maintenance
  3. Software Practice and Experience V25n11(Nov 1995)pp1243-1262
  4. =DEMO EXPERIENCE PROOF
      jon@bilbo.radonc.washington.edu, Jon Jacky at University of Washington:

      The author used simple reasoning about weakest preconditions, postconditions, invariants and logic to find and fix errors in real C code for TCP/IP and other communications software. A nice example of a pragmatic use of formal methods for program derivation and verification.



Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]