HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by BmoreDaniel | Hacker News Reader
Parent
Full thread
BmoreDaniel
·
Formal verification can prove the absence of bugs.
View on HN
DanWaterworth
·
I didn't say it couldn't; I didn't say anything about formal verification.
Reply on news.ycombinator.com