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

Browse the full SEW paper archive.