Beware of bugs in the above code; I have only proved it correct, not tried it.
About this quote
- What does it mean?
- Proving code correct is not enough; testing it is also required.
- In plain terms
- Just because code is proven does not mean it works.
- What can you take from it?
- Always test your code after proving it.
Where it applies
Putting it to work
Questions to consider
- How do you verify code?
- Is proof enough?
Another view
Testing cannot catch every possible bug.
More from Donald Knuth
Premature optimization is the root of all evil (or at least most of it) in programming.
Permalink to quote #1 I can't be as confident about computer science as I can about biology. Biology easily has 500 years of exciting problems to work on. It's at that level.
Permalink to quote #3 The psychological profiling [of a programmer] is mostly the ability to shift levels of abstraction, from low level to high level. To see something in the small…
Permalink to quote #4
Related quotes
An algorithm must be seen to be believed.
Donald KnuthDonald Knuth quote #11 Talk is cheap. Show me the code.
Linus TorvaldsLinus Torvalds quote #20 Premature optimization is the root of all evil (or at least most of it) in programming.
Donald KnuthDonald Knuth quote #1