From owner-cse584-sp07-list@LISTSERV.BUFFALO.EDU Wed Apr 18 08:58:26 2007 Received: from ares.cse.buffalo.edu (ares.cse.Buffalo.EDU [128.205.32.79]) by castor.cse.Buffalo.EDU (8.13.6/8.12.10) with ESMTP id l3ICwQDT013610 for ; Wed, 18 Apr 2007 08:58:26 -0400 (EDT) Received: from front1.acsu.buffalo.edu (coldfront.acsu.buffalo.edu [128.205.6.89]) by ares.cse.buffalo.edu (8.13.6/8.13.6) with SMTP id l3ICwN3g009715 for ; Wed, 18 Apr 2007 08:58:23 -0400 (EDT) Received: (qmail 24032 invoked from network); 18 Apr 2007 12:58:23 -0000 Received: from mailscan8.acsu.buffalo.edu (128.205.7.55) by front1.acsu.buffalo.edu with SMTP; 18 Apr 2007 12:58:23 -0000 Received: (qmail 16529 invoked from network); 18 Apr 2007 12:58:23 -0000 Received: from deliverance.acsu.buffalo.edu (128.205.7.57) by front3.acsu.buffalo.edu with SMTP; 18 Apr 2007 12:58:23 -0000 Received: (qmail 23420 invoked from network); 18 Apr 2007 12:58:15 -0000 Received: from listserv.buffalo.edu (128.205.7.35) by deliverance.acsu.buffalo.edu with SMTP; 18 Apr 2007 12:58:15 -0000 Received: by LISTSERV.BUFFALO.EDU (LISTSERV-TCP/IP release 14.5) with spool id 4813926 for CSE584-SP07-LIST@LISTSERV.BUFFALO.EDU; Wed, 18 Apr 2007 08:58:14 -0400 Delivered-To: cse584-sp07-list@listserv.buffalo.edu Received: (qmail 2338 invoked from network); 18 Apr 2007 12:58:14 -0000 Received: from mailscan4.acsu.buffalo.edu (128.205.6.136) by listserv.buffalo.edu with SMTP; 18 Apr 2007 12:58:14 -0000 Received: (qmail 2083 invoked from network); 18 Apr 2007 12:58:13 -0000 Received: from castor.cse.buffalo.edu (128.205.32.14) by smtp1.acsu.buffalo.edu with SMTP; 18 Apr 2007 12:58:13 -0000 Received: from castor.cse.Buffalo.EDU (rapaport@localhost [127.0.0.1]) by castor.cse.Buffalo.EDU (8.13.6/8.12.10) with ESMTP id l3ICwCho013588 for ; Wed, 18 Apr 2007 08:58:12 -0400 (EDT) Received: (from rapaport@localhost) by castor.cse.Buffalo.EDU (8.13.6/8.12.9/Submit) id l3ICwC3x013587 for cse584-sp07-list@listserv.buffalo.edu; Wed, 18 Apr 2007 08:58:12 -0400 (EDT) X-UB-Relay: (castor.cse.buffalo.edu) X-PM-EL-Spam-Prob: : 7% Message-ID: <200704181258.l3ICwC3x013587@castor.cse.Buffalo.EDU> Date: Wed, 18 Apr 2007 08:58:12 -0400 Reply-To: "William J. Rapaport" Sender: "Philosophy of Computer Science, Spring 2007" From: "William J. Rapaport" Subject: PROGRAM VERIFICATION To: CSE584-SP07-LIST@LISTSERV.BUFFALO.EDU Precedence: list List-Help: , List-Unsubscribe: List-Subscribe: List-Owner: List-Archive: X-UB-Relay: (castor.cse.buffalo.edu) X-DCC-Buffalo.EDU-Metrics: castor.cse.Buffalo.EDU 1029; Body=0 Fuz1=0 Fuz2=0 X-Spam-Status: No, score=-2.0 required=5.0 tests=AWL,BAYES_00,SUBJ_ALL_CAPS autolearn=no version=3.1.7 X-Spam-Checker-Version: SpamAssassin 3.1.7 (2006-10-05) on ares.cse.buffalo.edu X-Virus-Scanned: ClamAV 0.88.6/3119/Wed Apr 18 07:51:31 2007 on ares.cse.buffalo.edu X-Virus-Status: Clean Status: R Content-Length: 511 ------------------------------------------------------------------------ Subject: PROGRAM VERIFICATION ------------------------------------------------------------------------ At last weekend's 40th Anniversary celebration of the founding of the Department of Computer Science & Engineering, our 2nd Ph.D., Bruce Shriver, former president of the IEEE Computer Society, said in his address that hardware does not have flaws, only software does. Note that this is almost exactly the converse of Fetzer's point!