Hacker News

Looking for Missed Alarm Bugs in a Formal Verification Tool (blog.regehr.org)

16 points by luu 5 days ago