From Verification to Optimizations

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

10.1007/978-3-662-46081-8_17 ◽

2015 ◽

pp. 300-317 ◽

Cited By ~ 4

Author(s):

Rigel Gjomemo ◽

Kedar S. Namjoshi ◽

Phu H. Phung ◽

V. N. Venkatakrishnan ◽

Lenore D. Zuck

Download Full-text