Symbolic Execution with Separation Logic
No abstract available.
Related papers
- Seal: Symbolic Execution with Separation Logic - (Competition Contribution) TACAS 2026
- Automatic Verification of Iterated Separating Conjunctions Using Symbolic Execution CAV 2016
- Strong-Separation Logic ESOP 2021
- Cyclic proofs of program termination in separation logic POPL 2008
- Strong-separation Logic TOPLAS 2022
- Verification Algorithms for Automated Separation Logic Verifiers CAV 2024
- Compositional Symbolic Execution for Correctness and Incorrectness Reasoning ECOOP 2024
- SecCSL: Security Concurrent Separation Logic CAV 2019