PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution).

Petr Peringer, Veronika Sokov, Toms Vojnar

Browse the full TACAS paper archive.