Splitting via Interpolants

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

10.1007/978-3-642-27940-9_13 ◽

2012 ◽

pp. 186-201 ◽

Author(s):

Evren Ermis ◽

Jochen Hoenicke ◽

Andreas Podelski

Download Full-text