Solving and Interpolating Constant Arrays Based on Weak Equivalences

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

10.1007/978-3-030-11245-5_14 ◽

2019 ◽

pp. 297-317

Author(s):

Jochen Hoenicke ◽

Tanja Schindler

Download Full-text