1 code implementation • 22 Oct 2016 • Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger
In this paper, we develop an algorithmic framework based on heap automata that allows us to derive asymptotically optimal decision procedures for a wide range of robustness properties in a uniform way.
Logic in Computer Science