You Don't Know Jack About Formal Verification(queue.acm.org)
queue.acm.org
You Don't Know Jack About Formal Verification
https://queue.acm.org/detail.cfm
3 comments
Sorry, did not realize that it was submitted.
Correct link is https://queue.acm.org/detail.cfm?id=3819084
Previous discussion (with a different title which made finding it harder)