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