Paper accepted at ESOP 2017

The paper “Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic” by Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll and Florian Zuleger has been accepted at ESOP 2017 in Uppsala, Sweden. It introduces the  concept of heap automata, a novel formalism for automatic reasoning about robustness properties of the symbolic-heap fragment of separation logic with user-defined inductive predicates.