# Compositional entailment checking for a fragment of separation logic

> Research article (Formal Methods in System Design, 2017) · cited 15× · AI/ML

**Wikidata**: [openalex:W46575596](https://www.wikidata.org/wiki/openalex:W46575596)  
**Source**: https://4ort.xyz/entity/compositional-entailment-checking-for-a-fragment-of-separation-logic