4 ms·Formal verification can prove the absence of bugs.by BmoreDaniel 12y agoFormal verification can prove the absence of bugs.DanWaterworth 12y agoI didn't say it couldn't; I didn't say anything about formal verification.