VeriSmall: Verified Smallfoot Shape Analysis
No abstract available.
DOI 10.1007/978-3-642-25379-9_18
Related papers
- Verified heap theorem prover by paramodulation ICFP 2012
- A relational framework for higher-order shape analysis ICFP 2014
- Arithmetizing Shape Analysis CAV 2025
- Shape-Value Abstraction for Verifying Linearizability VMCAI 2009
- Fragment Abstraction for Concurrent Shape Analysis ESOP 2018
- Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration ESOP 2025
- Verifying safety properties of concurrent Java programs using 3-valued logic POPL 2001
- Verifying safety properties of concurrent heap-manipulating programs TOPLAS 2010