Xref: utzoo sci.philosophy.tech:1872 sci.physics:10927 talk.philosophy.misc:3409 comp.software-eng:2734
Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!emory!hubcap!steve
From: steve@hubcap.clemson.edu ("Steve" Stevenson)
Newsgroups: sci.philosophy.tech,sci.physics,talk.philosophy.misc,comp.software-eng
Subject: Reasons why you don't prove your programs are correct
Message-ID: <7598@hubcap.clemson.edu>
Date: 8 Jan 90 14:31:08 GMT
Organization: Clemson University, Clemson, SC
Lines: 17




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