Automatically Refining Abstract Interpretations

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78800-3_33 ◽

2008 ◽

pp. 443-458 ◽

Author(s):

Bhargav S. Gulavani ◽

Supratik Chakraborty ◽

Aditya V. Nori ◽

Sriram K. Rajamani

Download Full-text