3 ms·
The cost / quality trade off isn’t worth it for most applications. In fields where it is (aerospace, smart contracts, etc.) then formal methods are used.
by xwvvvvwx 8y ago
The cost / quality trade off isn’t worth it for most applications. In fields where it is (aerospace, smart contracts, etc.) then formal methods are used.
- cs02rm0 8y agoNot a very exciting answer, but I think it's just that; cost vs. benefit.