On Automated Lemma Generation for Separation Logic with Inductive Definitions.

Constantin Enea, Mihaela Sighireanu, Zhilin Wu

Browse the full ATVA paper archive.