Path: utzoo!utgpu!news-server.csri.toronto.edu!mailrus!cornell!oravax!ian
From: ian@oravax.UUCP (Ian Sutherland)
Newsgroups: comp.software-eng
Subject: Re: Re: "Program Proving"
Message-ID: <1423@oravax.UUCP>
Date: 16 Mar 90 00:30:33 GMT
References: <52044@microsoft.UUCP> <2480006@hpcuhc.HP.COM>
Reply-To: ian@oravax.odyssey.UUCP (Ian Sutherland)
Organization: Odyssey Research Associates, Ithaca, New York
Lines: 10

In article <2480006@hpcuhc.HP.COM> runyan@hpcuhc.HP.COM (Mark Runyan) writes:
-As an alternative, someone could post a non-trivial program and ask the
-program provers to prove it either correct or incorrect...

I like this idea.  Any takers?
-- 
------
Ian Sutherland		ian%oravax.uucp@cu-arpa.cs.cornell.edu

Sans Peur