Fully Automated Shape Analysis Based on Forest Automata.

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

Browse the full CAV paper archive.