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 Brought to you by Super Global Mega Corp .com