Predator: A Verification Tool for Programs with Dynamic Linked Data Structures - (Competition Contribution)
Abstract elided by the publisher.
Related papers
- Predator: A Tool for Verification of Low-Level List Manipulation - (Competition Contribution) TACAS 2013
- Symbiotic 7: Integration of Predator and More - (Competition Contribution) TACAS 2020
- Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic CAV 2011
- Predator Hunting Party (Competition Contribution) TACAS 2015
- Predator: A Shape Analyzer Based on Symbolic Memory Graphs - (Competition Contribution) TACAS 2014
- JBMC: Bounded Model Checking for Java Bytecode - (Competition Contribution) TACAS 2019
- Extending DIVINE with Symbolic Verification Using SMT - (Competition Contribution) TACAS 2019
- BUBAAK: Dynamic Cooperative Verification - (Competition Contribution) TACAS 2025