The effects of adding reachability predicates in propositional separation logic

DOI10.1007/978-3-319-89366-2_26zbMath1504.68128arXiv1810.05410OpenAlexW2796684949MaRDI QIDQ1653010

Alessio Mansutti, Stéphane P. Demri, Etienne Lozes

Publication date: 17 July 2018

Full work available at URL: https://arxiv.org/abs/1810.05410

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (7)

Foundations for entailment checking in quantitative separation logic ⋮ Strong-separation logic ⋮ Unnamed Item ⋮ An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning ⋮ On Temporal and Separation Logics ⋮ An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning ⋮ Unnamed Item

This page was built for publication: The effects of adding reachability predicates in propositional separation logic