A convincing demonstration of correctness being impossible as long as the mechanism is regarded as a black box, our only hope lies in not regarding the mechanism as a black box.

— Edsger W. Dijkstra, Notes On Structured Programming (1970)

Source: http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD249.PDF

Topics: software design, debugging