3 ms·
Fred Brooks said it years ago: "Even perfect program verification can only establish that a program meets its specification. … Much of the essence of building a
by protonfish 9y ago
Fred Brooks said it years ago: "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."