4 ms·
You Don't Know Jack About Formal Verification
- carlsborg 3mo agoCorrect link is https://queue.acm.org/detail.cfm?id=3819084 https://queue.acm.org/detail.cfm?id=3819084
- Jtsummers 3mo agohttps://news.ycombinator.com/item?id=48719521 https://news.ycombinator.com/item?id=48719521 Previous discussion (with a different title which made finding it harder)
- aravindputrevu 3mo agoSorry, did not realize that it was submitted.