Forest Automata for Verification of Heap Manipulation.

Peter Habermehl, Luks Holk, Adam Rogalewicz, Jir Simcek, Toms Vojnar

Browse the full CAV paper archive.