Sippy: the Artefact for the Paper "Inductive Synthesis of Inductive Heap Predicates"

Creators

• Yang, Ziyi¹
• Sergey, Ilya^{1, 2}