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

David Ward Fabio Somenzi

Published in: ICCAD (2006)

Keyphrases

spatial information
reachability analysis
control flow
data flow
real time
data model
dynamic programming
open source
distributed systems