Peter T. Breuer Simon Pickin Verification in the Large via Symbolic Approximation. 408-415 2006 ISoLA http://dx.doi.org/10.1109/ISoLA.2006.20 conf/isola/2006 db/conf/isola/isola2006.html#BreuerP06