Referenced Items are not available for this document.
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.
Published in:
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
(Volume:27
,
Issue:
8
)
Date of Publication: Aug. 2008
- Page(s):
- 1513 - 1517
- ISSN :
- 0278-0070
- INSPEC Accession Number:
- 10117722
- Digital Object Identifier :
- 10.1109/TCAD.2008.925777
- Product Type:
- Journals & Magazines
- Date of Publication :
- 23 May 2008
- Date of Current Version :
- 16 July 2008
- Issue Date :
- Aug. 2008
- Sponsored by :
- IEEE Council on Electronic Design Automation
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
