Array Abstractions from Proofs.

Ranjit Jhala, Kenneth L. McMillan

Browse the full CAV paper archive.