3 ms·
Given a formal proof of a complex system that doesn’t contain any assumptions or mis-modeling is - practically speaking - unachievable... ... then in compariso
by abritinthebay 9y ago
Given a formal proof of a complex system that doesn’t contain any assumptions or mis-modeling is - practically speaking - unachievable...
... then in comparison the time is better spent on something that will produce demonstratable results, even if imperfectly applied.
And that is QA & testing.
- lmm 9y ago> the time is better spent on something that will produce demonstratable results, even if imperfectly applied. How is formal proof not such a thing?