Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: Notesfiles $Revision: 1.7.0.8 $; site uiucdcsp
Path: utzoo!watmath!clyde!cbosgd!ihnp4!inuxc!pur-ee!uiucdcsp!johnson
From: johnson@uiucdcsp.CS.UIUC.EDU
Newsgroups: net.ai
Subject: Re: SRI verification work reviewed
Message-ID: <3500006@uiucdcsp>
Date: Mon, 30-Sep-85 11:32:00 EDT
Article-I.D.: uiucdcsp.3500006
Posted: Mon Sep 30 11:32:00 1985
Date-Received: Wed, 2-Oct-85 09:40:17 EDT
References: <1100022@wdl1>
Lines: 9
Nf-ID: #R:wdl1:1100022:uiucdcsp:3500006:000:396
Nf-From: uiucdcsp.CS.UIUC.EDU!johnson    Sep 30 10:32:00 1985


Where I come from (Cornell) verification is thought to have no more
relationship to AI than compiler-compilers have to AI.  I am glad to
see that some AI people also have that opinion.  That said, I found
the excerpt from the peer review very interesting.  I will certainly
try to find the original reference.  Could the original poster please
send the message to SOFT-ENG@MIT-XX?

Ralph Johnson