You Don't Know Jack About Formal Verificationqueue.acm.org
83 points by eatonphil 8 hours ago | 33 comments