Better Under-Approximation of Programs by Hiding Variables

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-540-69738-1_23 ◽

2007 ◽

pp. 314-328

Author(s):

Thomas Ball ◽

Orna Kupferman

Download Full-text