Re: Reasons why you don't prove your programs are correct

Article View: comp.ai

Article #1210

#1210

From: Lee Sailer
Date: Wed, 17 Jan 1990 15:58

4 lines
726 bytes

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

Technical Details

Message-ID: <90017.105802UH2@PSUVM.BITNET>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!uwm.edu!psuvax1!psuvm!uh2

References:

<16479@joshua.athertn.Atherton.COM> <1455@krafla.rhi.hi.is> <16665@joshua.athertn.Atherton.COM> <10289@microsoft.UUCP> <1928@uwm.edu>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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

Reply to Parent Message