Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic.

Kamil Dudka, Petr Peringer, Toms Vojnar

Browse the full CAV paper archive.