Looking for Missed Alarm Bugs in a Formal Verification Tool

 (blog.regehr.org)

29 points | by luu 7 days ago ago

2 comments