Splitting via Interpolants.

Evren Ermis, Jochen Hoenicke, Andreas Podelski

Browse the full VMCAI paper archive.