News for hackers. Stuff that matters.

A comment on Undebt: How We Refactored 3M Lines of Code. Parent comment

Re:Undebt: How We Refactored 3M Lines of Code by bennofs on Wednesday August 24, 2016 @06:13AM (#12350914)
> 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.

[ Parent | on HN ]
Re:Undebt: How We Refactored 3M Lines of Code by DanWaterworth on Wednesday August 24, 2016 @06:21AM (#12350944)
You're technically correct, but in practice, proving that software does confirm to a formal specification is, empirically, a good way of drastically reducing defects.
[ Parent | on HN ]