Verification by approximate forward and backward reachability.

Shankar G. Govindaraju, David L. Dill

Browse the full ICCAD paper archive.