SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in a Separation Logic Solver
No abstract available.
Related papers
- The Golem Horn Solver CAV 2023
- A Domain-Theoretic Approach to Functional and Logic Programming JFP 1992
- Modular verification of heap reachability properties in separation logic OOPSLA 2019
- Incremental Processing of Structured Data in Datalog GPCE 2022
- Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic CPP 2024
- Range Allocation for Separation Logic CAV 2004
- Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System ICFP 2024
- Bounded Verification of Multi-threaded Programs via Lazy Sequentialization TOPLAS 2022