Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!uwm.edu!psuvax1!psuvm!uh2
From: UH2@PSUVM.BITNET (Lee Sailer)
Newsgroups: comp.ai
Subject: Re: Reasons why you don't prove your programs are correct
Message-ID: <90017.105802UH2@PSUVM.BITNET>
Date: 17 Jan 90 15:58:02 GMT
References: <16479@joshua.athertn.Atherton.COM> <1455@krafla.rhi.hi.is>
 <16665@joshua.athertn.Atherton.COM> <10289@microsoft.UUCP> <1928@uwm.edu>
Organization: Penn State University
Lines: 4

A tangential point.  This thread started with a claim that verification is
dead.  I'd hate to see the debate about a live topic, then  8-)

                                                               lee