Automatic Verification of Iterated Separating Conjunctions Using Symbolic Execution.

Peter Mller, Malte Schwerhoff, Alexander J. Summers

Browse the full CAV paper archive.