You Don't Know Jack About Formal Verification (queue.acm.org) 3 points by aravindputrevu 3mo ago ↗ HN
[–] Jtsummers 3mo ago ↗ https://news.ycombinator.com/item?id=48719521Previous discussion (with a different title which made finding it harder) [–] aravindputrevu 3mo ago ↗ Sorry, did not realize that it was submitted.
3 comments
[ 268 ms ] story [ 503 ms ] threadPrevious discussion (with a different title which made finding it harder)