Subject: Re: Who's running your business?
From: Crispin Cowan <>
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


Crispin Cowan, CTO, WireX Communications, Inc.
Free Hardened Linux Distribution: