Y
Hacker News
new
|
ask
|
show
|
jobs
by
BmoreDaniel
4171 days ago
Formal verification can prove the absence of bugs.
1 comments
DanWaterworth
4171 days ago
I didn't say it couldn't; I didn't say anything about formal verification.
link