Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!uwm.edu!zaphod.mps.ohio-state.edu!sunybcs!boulder!ccncsu!scarlatti.CS.ColoState.Edu!petersja
From: petersja@scarlatti.CS.ColoState.Edu (james peterson)
Newsgroups: comp.ai
Subject: Re: Reasons why you don't prove your programs are correct
Message-ID: <3638@ccncsu.ColoState.EDU>
Date: 10 Jan 90 21:41:08 GMT
References: <25711@cup.portal.com> <1449@krafla.rhi.hi.is>
Sender: news@ccncsu.ColoState.EDU
Reply-To: petersja@scarlatti.CS.ColoState.Edu.UUCP (james peterson)
Organization: Colorado State University
Lines: 14

In article <1449@krafla.rhi.hi.is> snorri@rhi.hi.is (Snorri Agnarsson) writes:
>From article <25711@cup.portal.com>, by mmm@cup.portal.com (Mark Robert Thorson):
>> There was an excellent article about 10 years ago in CACM on this.
>> I believe the title was "The Social Process and Proofs of Program
>> Correctness".  This article marked the death of program verification;

Please...is this a reference to Fetzer's article in the CACM (Sept '88)
entitled "Program Verification: The Very Idea"? Or something much older? If it
is Fetzer's article, Mr. Thorson's time dilation qualifies him for the
relativity zone.......
james lee peterson				petersja@handel.cs.colostate.edu
dept. of computer science                       
colorado state university		"Some ignorance is invincible."
ft. collins, colorado 80523