Solving and Interpolating Constant Arrays Based on Weak Equivalences.

Jochen Hoenicke, Tanja Schindler

Browse the full VMCAI paper archive.