Arie Gurfinkel Ou Wei Marsha Chechik Yasm: A Software Model-Checker for Verification and Refutation. 170-174 2006 conf/cav/2006 CAV http://dx.doi.org/10.1007/11817963_18 db/conf/cav/cav2006.html#GurfinkelWC06