Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata.

Parosh Aziz Abdulla, Luks Holk, Bengt Jonsson, Ondrej Lengl, Cong Quy Trinh, Toms Vojnar

Browse the full ATVA paper archive.