3 ms·
> Provably correct software is possible. Even then, the software is provably correct according to some specification, which can still have bugs. No technology
by bennofs 10y ago
> Provably correct software is possible.
Even then, the software is provably correct according to some specification, which can still have bugs. No technology can fully prevent logic bugs.
- DanWaterworth 10y agoYou're technically correct, but in practice, proving that software does confirm to a formal specification is, empirically, a good way of drastically reducing defects.