Compositional Invariant Checking for Overlaid and Nested Linked Lists.

Constantin Enea, Vlad Saveluc, Mihaela Sighireanu

Browse the full ESOP paper archive.