A Heap of Problems is a wiki collecting benchmark examples aimed at improving communication between developers in the area of tools for separation logic and shape analysis.

External links[edit | edit source]


Community content is available under CC-BY-SA unless otherwise noted.