[fpc-pascal] Competitive advantage in showing proof of correctness

Tue Aug 14 11:45:49 CEST 2007

On Tuesday 14 August 2007 09:36, Daniël Mantione wrote:

> So, would it be the end of bugs? Not at all. You would prevent
> implementation bugs, not design bugs.

Precisely. Proving that the program behaves according to the 
specification doesn't help if the specification is wrong. See Ariane5. 
Or as we are used say: Shit happens.

Vinzent.