News for hackers. Stuff that matters.

A comment on Investigating Higher Quality Software. Parent comment

Re:Investigating Higher Quality Software by BmoreDaniel on Friday January 16, 2015 @04:23AM (#8897912)
Formal verification can prove the absence of bugs.
[ Parent | on HN ]
Re:Investigating Higher Quality Software by DanWaterworth on Friday January 16, 2015 @04:30AM (#8897932)
I didn't say it couldn't; I didn't say anything about formal verification.
[ Parent | on HN ]