Subject: Re: Who's running your business?
From: Crispin Cowan <crispin@wirex.com>
Date: Wed, 31 May 2000 09:26:40 -0700

"Kevin S. Van Horn" wrote:

> The purpose of doing a correctness proof generally isn't so that you can have
> a nice stamp of approval on your code.  Correctness proofs are most useful
> when your code is, in fact, not correct...

One of the better one-liners from presentations at this year's Oakland
IEEE Symposium on Security and Privacy:

     "it is easier to prove a statement when it is true :-)" -- Jonathan
     Shapiro

Crispin

--
Crispin Cowan, CTO, WireX Communications, Inc.    http://wirex.com
Free Hardened Linux Distribution:                 http://immunix.org
                  JOBS!  http://immunix.org/jobs.html