Parosh Aziz Abdulla, Lukás Holík, Bengt Jonsson, Ondrej Lengál, Cong Quy Trinh, Tomás Vojnar. Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata. In Dang Van Hung, Mizuhito Ogawa, editors, Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings. Volume 8172 of Lecture Notes in Computer Science, pages 224-239, Springer, 2013. [doi]
Abstract is missing.