3 ms·
> It is not sufficient merely to prove a program correct; you have to test it too. No, this just indicates that you didn't prove it rigorously enough :p
by tomsmeding 10y ago
> It is not sufficient merely to prove a program correct; you have to test it too.
No, this just indicates that you didn't prove it rigorously enough :p