4 ms·
Proofs are only valid as long as the requirements don't change and assumptions are still valid. Two things that any first year CS student could tell you are abs
by xmprt 6y ago
Proofs are only valid as long as the requirements don't change and assumptions are still valid. Two things that any first year CS student could tell you are absurd to even imagine.
- MaxBarraclough 6y agoYou seem to be dismissing formal methods, but they've been used successfully in various domains.