Y
Hacker News
new
|
ask
|
show
|
jobs
You Don't Know Jack About Formal Verification
(
queue.acm.org
)
3 points
by
aravindputrevu
24 days ago
2 comments
Jtsummers
24 days ago
https://news.ycombinator.com/item?id=48719521
Previous discussion (with a different title which made finding it harder)
link
aravindputrevu
24 days ago
Sorry, did not realize that it was submitted.
link
carlsborg
24 days ago
Correct link is
https://queue.acm.org/detail.cfm?id=3819084
link
Previous discussion (with a different title which made finding it harder)