Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking

Zaks, A.,Zijiang Yang,Shlyakhter, I.,F. Ivančić,S. Cadambi,M. K. Ganai,A. Gupta,P. Ashar

IEEE Trans. on CAD of Integrated Circuits and Systems（2008）

引用 15|浏览8

暂无评分

摘要

This paper presents a lightweight interval analysis technique for determining the lower and upper bounds for program variables and its application in improving software model checking techniques. The experiments demonstrate that it is an effective approach to alleviate the state explosion problem in software model checking.

查看译文

关键词

software model checking,effective approach,Bitwidth Reduction,program variable,lightweight interval analysis technique,Symbolic Interval Analysis,state explosion problem,Software Model Checking,software model checking technique,upper bound

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要