On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate.

David Owen Tim Menzies Mats Per Erik Heimdahl Jimin Gao On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate. 75 2003 conf/sew/2003 SEW http://doi.ieeecomputersociety.org/10.1109/SEW.2003.1270728 db/conf/sew/sew2003.html#OwenMHG03