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. _______________________________________________ fpc-pascal maillist - fpc-pascal@lists.freepascal.org http://lists.freepascal.org/mailman/listinfo/fpc-pascal
