Record Details

Refining abstract interpretations

DSpace at IIT Bombay

View Archive Info
 
 
Field Value
 
Title Refining abstract interpretations
 
Creator GULAVANI, BS
CHAKRABORTY, S
NORI, AV
RAJAMANI, SK
 
Subject program correctness
abstract interpretation
interpolation
cegar
 
Description interpretation techniques prove properties of programs by computing abstract fixpoints. All such analyses suffer from the possibility of false errors. We present a dag-based abstraction refinement technique to automatically refine such abstract interpretations and reduce false errors. This technique refines precision loss due to widen operator by a new interpolated widen operator and refines precision loss due to join operator by disjunctions. We prove the soundness and progress properties of this abstraction refinement procedure. .
 
Publisher ELSEVIER SCIENCE BV
 
Date 2011-07-26T13:44:36Z
2011-12-26T12:54:36Z
2011-12-27T05:42:43Z
2011-07-26T13:44:36Z
2011-12-26T12:54:36Z
2011-12-27T05:42:43Z
2010
 
Type Article
 
Identifier INFORMATION PROCESSING LETTERS, 110(16), 666-671
0020-0190
http://dx.doi.org/10.1016/j.ipl.2010.05.021
http://dspace.library.iitb.ac.in/xmlui/handle/10054/6919
http://hdl.handle.net/10054/6919
 
Language en