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