3 ms·
Formal proofs will not save you if the assumptions are wrong. You can formally prove a bug that you thought is a feature.
by 323 5y ago
Formal proofs will not save you if the assumptions are wrong. You can formally prove a bug that you thought is a feature.
- lugao 5y agoYou could at the very least model impossible states and check they won't happen. The assumptions are not that hard to model either, there are not that many moving parts.
- deleted 5y ago[deleted]