Forester: From Heap Shapes to Automata Predicates - (Competition Contribution).

Luks Holk, Martin Hruska, Ondrej Lengl, Adam Rogalewicz, Jir Simcek, Toms Vojnar

Browse the full TACAS paper archive.