Looking for Missed Alarm Bugs in a Formal Verification Tool blog.regehr.org 15 points by luu 5 days ago