home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / comp / lang / ada / 2567 < prev    next >
Encoding:
Internet Message Format  |  1992-09-09  |  991 b 
  1. Path: sparky!uunet!dtix!darwin.sura.net!spool.mu.edu!agate!ucbvax!EUROPA.ENG.GTEFSD.COM!braun
  2. From: braun@EUROPA.ENG.GTEFSD.COM (Chris Braun  x4475)
  3. Newsgroups: comp.lang.ada
  4. Subject: proving program correctness
  5. Message-ID: <199209081515.AA20053@europa.eng.gtefsd.com>
  6. Date: 8 Sep 92 15:15:19 GMT
  7. Sender: usenet@ucbvax.BERKELEY.EDU
  8. Organization: The Internet
  9. Lines: 14
  10.  
  11. Not precisely an Ada question, but one I expect some of you can help with:
  12.  
  13. I'm looking for a VERY introductory book (or perhaps paper) on the subject of
  14. proving program correctness -- on techniques for constructing provably 
  15. correct programs and for verifying their correctness.  A student in an 
  16. evening course I teach has gotten very interested in this subject and would
  17. like to pursue some independent study in the area.  He's just starting in a
  18. CS masters program but has a background in operations research -- not much
  19. traditional CS so far.
  20.  
  21. Any help would be appreciated.
  22.  
  23. Chris Braun
  24. braun@europa.eng.gtefsd.com
  25.