Runtime Checking for Separation Logic
No abstract available.
Related papers
- Model checking for symbolic-heap separation logic with inductive predicates POPL 2016
- Fulminate: Testing CN Separation-Logic Specifications in C POPL 2025
- Code-Specify-Test-Debug-Prove: Flexibly Integrating Separation Logic Specification into Conventional Workflows PLDI 2026
- Sound Modular Verification of C Code Executing in an Unverified Context POPL 2015
- Compositional Entailment Checking for a Fragment of Separation Logic APLAS 2014
- Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic CAV 2011
- Effective Entailment Checking for Separation Logic with Inductive Definitions TACAS 2019
- Foundations for Entailment Checking in Quantitative Separation Logic ESOP 2022