From owner-freebsd-hackers Sat May 15 9:21:34 1999 Delivered-To: freebsd-hackers@freebsd.org Received: from peach.ocn.ne.jp (peach.ocn.ne.jp [210.145.254.87]) by hub.freebsd.org (Postfix) with ESMTP id E92CC14EC4 for ; Sat, 15 May 1999 09:21:32 -0700 (PDT) (envelope-from dcs@newsguy.com) Received: from newsguy.com by peach.ocn.ne.jp (8.9.1a/OCN) id BAA26827; Sun, 16 May 1999 01:19:54 +0900 (JST) Message-ID: <373D9E16.E0122270@newsguy.com> Date: Sun, 16 May 1999 01:17:26 +0900 From: "Daniel C. Sobral" X-Mailer: Mozilla 4.51 [en] (Win98; I) X-Accept-Language: pt-BR,ja MIME-Version: 1.0 To: Andrew Kenneth Milton Cc: cmcurtin@interhack.net, dennis@etinc.com, ragnar@sysabend.org, hackers@FreeBSD.ORG Subject: Formal methods References: <199905151156.VAA05957@zeus.theinternet.com.au> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Content-Transfer-Encoding: 7bit Sender: owner-freebsd-hackers@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.ORG Andrew Kenneth Milton wrote: > > | > You cannot test for the abscence of bugs. > | > | You can prove it, though. > > Only if you first prove the operating system and the compiler :-) Nah. These you axiom away. :-) -- Daniel C. Sobral (8-DCS) dcs@newsguy.com dcs@freebsd.org "Proof of Trotsky's farsightedness is that _none_ of his predictions have come true yet." To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-hackers" in the body of the message