Abstract
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.
Original language | English (US) |
---|---|
Article number | 4527113 |
Pages (from-to) | 1513-1517 |
Number of pages | 5 |
Journal | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems |
Volume | 27 |
Issue number | 8 |
DOIs | |
State | Published - Aug 2008 |
All Science Journal Classification (ASJC) codes
- Software
- Computer Graphics and Computer-Aided Design
- Electrical and Electronic Engineering
Keywords
- Abstract interpretation
- Interval analysis
- Model checking
- Program analysis
- Software engineering