Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!cs.utexas.edu!samsung!emory!hubcap!steve
From: steve@hubcap.clemson.edu (Steve Stevenson-Moderator)
Newsgroups: comp.parallel
Subject: Reasons why you don't prove your programs are correct
Message-ID: <7599@hubcap.clemson.edu>
Date: 8 Jan 90 17:55:53 GMT
Sender: fpst@hubcap.clemson.edu
Lines: 10
Approved: parallel@hubcap.clemson.edu

I'm trying to discover the real reason why people do not prove their programs
are correct. I would like to collect those reasons --- even those snappy
one liners that we all use as excuses.

Please forward your comments ( short flames ok) to me by E-mail.  I'll post
the replies if there is sufficient interest. Thanks.

Steve (really "D. E.") Stevenson           steve@hubcap.clemson.edu
Department of Computer Science,            (803)656-5880.mabell
Clemson University, Clemson, SC 29634-1906