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. In 28th Annual IEEE / NASA Software Engineering Workshop (SEW-28 2003), 3-4 December 2003, Greenbelt, Maryland, USA. pages 75, IEEE Computer Society, 2003. [doi]
Abstract is missing.