3 ms·
Doesn't really matter if only unrealistic edge cases are unprovable.
by Groxx 7y ago
Doesn't really matter if only unrealistic edge cases are unprovable.
- TuringTest 7y agoThe problem is, you don't know that. The software industry is this complex because obscure yet realistic edge cases happen much more often than you'd expect.
- Groxx 7y agoSo the ones that aren't edge cases can still benefit greatly, rather than not at all.
- TuringTest 7y agoWhat good is applying formal verification software to have proof that part of your input behaves properly, but edge cases are not proven? This is already what test cases do.