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.
Page 195. - No Silver Bullet (1986)
![Even perfect program verification can only establish that a program meets its specification. […] Much of the essence of building a program is in...](https://img.libquotes.com/pic-quotes/v1/fred-brooks-quote-lbm2w4p.jpg)
![Even perfect program verification can only establish that a program meets its specification. […] Much of the essence of building a program is in...](https://img.libquotes.com/pic-quotes/v2/fred-brooks-quote-lbm2w4p.jpg)
![Even perfect program verification can only establish that a program meets its specification. […] Much of the essence of building a program is in...](https://img.libquotes.com/pic-quotes/v3/fred-brooks-quote-lbm2w4p.jpg)
![Even perfect program verification can only establish that a program meets its specification. […] Much of the essence of building a program is in...](https://img.libquotes.com/pic-quotes/v4/fred-brooks-quote-lbm2w4p.jpg)
