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.
When the moon is in the seventh house,
And Jupiter aligns with Mars,
Then peace will guide the planets,
And love will steer the stars;
This is the dawning of the age of Aquarius.
![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)
