|
|
|
|
|
|
by abritinthebay
3101 days 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. |
|
|
How is formal proof not such a thing?