IEEE - Institute of Electrical and Electronics Engineers, Inc. - Decomposing Image Computation for Symbolic Reachability Analysis Using Control Flow Information

IEEE/ACM International Conference on Computer Aided Design - Digest of Technical Papers

Author(s): D. Ward ; F. Somenzi
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 November 2006
Conference Location: San Jose, CA, USA
Conference Date: 5 November 2006
Page(s): 779 - 785
ISBN (CD): 1-59593-389-1
ISSN (Paper): 1092-3152
DOI: 10.1109/ICCAD.2006.320120
Regular:

The main challenge in BDD-based symbolic reachability analysis is represented by the sizes of the intermediate decision diagrams obtained during image computations. Methods proposed to mitigate... View More

Advertisement