Code Verification Quotes

Beware of bugs in the above code; I have only proved it correct, not tried it.

It has yet to be shown by direct biochemical methods, as opposed to the indirect genetic evidence mentioned earlier, that the code is indeed a triplet code.

No amount of source-level verification or scrutiny will protect you from using untrusted code.

Running the test suite like this allows us to catch problems when they are just introduced.

There are two ways to write error-free programs; only the third one works.

In the computer field, the moment of truth is a running program; all else is prophecy.

I think people don't realise that running a piece of code that verifies some conditions for a financial transaction, that by itself is a lot less work than verifying a cryptographic signature, and so even if the virtual machine is inefficient, the cryptographic signature is still going to dominate.