Byte-Precise Verification of Low-Level List Manipulation
No abstract available.
Related papers
- Predator: A Tool for Verification of Low-Level List Manipulation - (Competition Contribution) TACAS 2013
- Types, bytes, and separation logic POPL 2007
- From Low-Level Pointers to High-Level Containers VMCAI 2016
- SPT: Storyboard Programming Tool CAV 2012
- Verifying safety properties of concurrent heap-manipulating programs TOPLAS 2010
- Verus: Verifying Rust Programs using Linear Ghost Types OOPSLA 2023
- An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software CAV 2007
- DelExp: A Relational Container Abstraction: with Applications to Compositional Analysis ECOOP 2026