Predator: A Verification Tool for Programs with Dynamic Linked Data Structures - (Competition Contribution).

Kamil Dudka, Petr Mller, Petr Peringer, Toms Vojnar

Browse the full TACAS paper archive.