Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking

✍ Scribed by Zaks, A.; Zijiang Yang; Shlyakhter, I.; Ivancic, F.; Cadambi, S.; Ganai, M.K.; Gupta, A.; Ashar, P.

• Book ID: 118698518
• Publisher: IEEE
• Year: 2008
• Tongue: English
• Weight: 218 KB
• Volume: 27
• Category: Article
• ISSN: 0278-0070
• DOI: 10.1109/tcad.2008.925777