Abstract Regular Tree Model Checking of Complex Dynamic Data Structures.

Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Toms Vojnar

Browse the full SAS paper archive.