Decomposing image computation for symbolic reachability analysis using control flow information.

David Ward, Fabio Somenzi

Browse the full ICCAD paper archive.