"Even perfect program verification can only establish that a program meets its specification. […] Much of the essence of building a program is in fact the debugging of the specification."
— Debugging

January 1, 1970

Quote Details

Added by wikiquote-import-bot
Added on April 10, 2026
Unverified quote
0 likes
Computer science
Original Language: English

Sources

Reprinted in the IEEE magazine Computer 20 (4), (April 1987), p. 43 ff.; and in The Mythical Man-Month Anniversary Edition (1995),