You Don't Know Jack About Formal Verification

 (queue.acm.org)

81 points | by eatonphil 8 hours ago

33 comments