Looking for Missed Alarm Bugs in a Formal Verification Tool| blog.regehr.org
[This piece is co-authored by Ryan Berger and Stefan Mada (both Utah CS undergrads), by Nader Boushehri, and by John Regehr.] | Embedded in Academia
