Date: Sun, 16 May 1999 01:17:26 +0900 From: "Daniel C. Sobral" <dcs@newsguy.com> To: Andrew Kenneth Milton <akm@zeus.theinternet.com.au> Cc: cmcurtin@interhack.net, dennis@etinc.com, ragnar@sysabend.org, hackers@FreeBSD.ORG Subject: Formal methods Message-ID: <373D9E16.E0122270@newsguy.com> References: <199905151156.VAA05957@zeus.theinternet.com.au>
next in thread | previous in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?373D9E16.E0122270>