Program logic bugs vs input/environmental errors

[Timon Gehr via Digitalmars-d]

On 10/04/2014 10:37 PM, Ola Fosheim Grostad wrote:
> On Saturday, 4 October 2014 at 19:49:23 UTC, Walter Bright wrote:
>> On 10/4/2014 7:13 AM, H. S. Teoh via Digitalmars-d wrote:
>>> "Beware -- I've only proven that the code is correct, not tested it." --
>>> Donald Knuth.
>>>
>>> :-)
>>
>> Quotes like that prove (!) what a cool guy Knuth is!
>
> Nah, it only proves that he had not tested the code in his memo (and
> probably not run the proof through a verifier either).

It doesn't prove that.