Hacker News   << back
code
Looking for Missed Alarm Bugs in a Formal Verification Tool (blog.regehr.org)
16 points by luu 5 days ago | 1 comments

• shidesheng 2 hours ago

[flagged]