Invariant Synthesis for Programs Manipulating Lists with Unbounded Data.

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Ahmed Rezine, Mihaela Sighireanu

Browse the full CAV paper archive.