Predator: A Shape Analyzer Based on Symbolic Memory Graphs - (Competition Contribution).

Kamil Dudka, Petr Peringer, Toms Vojnar

Browse the full TACAS paper archive.