Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uwm.edu!dogie.macc.wisc.edu!decwrl!ucbvax!agate!shelby!eos!jenlan
From: jenlan@eos (Jennifer S Lanham)
Newsgroups: comp.theory
Subject: Who is doing program correctness/proofs?
Message-ID: <6951@eos.UUCP>
Date: 20 Jul 90 17:58:02 GMT
Sender: jenlan@eos.UUCP
Reply-To: jenlan@eos.arc.nasa.gov (Jennifer S Lanham)
Followup-To: comp.theroy
Distribution: na
Organization: NASA Ames Research Center, Calif.
Lines: 6
Keywords:
 A few months ago, there was a digressive discussion of formal
 program proving.  I would like to know of who is doing work on
 this subject, or references to work on it. A friend here at work,
 without net access is interested in the subject and would like to
 get feedback on his ideas after researching the work already done.


 E-mail would be great, and I will summarize here if there is sufficient
 interest. Thank you!
 Jennifer
 jenlan@eos.arc.nasa.gov