Program logic bugs vs input/environmental errors

[H. S. Teoh via Digitalmars-d]

On Sat, Oct 04, 2014 at 02:40:28AM -0700, Walter Bright via Digitalmars-d wrote:
> On 10/4/2014 1:40 AM, "Ola Fosheim Grøstad"
> <ola.fosheim.grostad+dlang at gmail.com>" wrote:
[...]
> >Anyway, failure should not be due to "asserts", that should be
> >covered by program verification and formal proofs.
> 
> The assumption that "proof" means the code doesn't have bugs is
> charming, but still false.
[...]

"Beware -- I've only proven that the code is correct, not tested it." --
Donald Knuth.

:-)


T

-- 
It is not the employer who pays the wages. Employers only handle the money. It is the customer who pays the wages. -- Henry Ford