Predator: A Tool for Verification of Low-Level List Manipulation - (Competition Contribution).

Kamil Dudka, Petr Mller, Petr Peringer, Toms Vojnar

Browse the full TACAS paper archive.