Frame inference for inductive entailment proofs in separation logic

DOI10.1007/978-3-319-89960-2_3zbMath1423.68104OpenAlexW2784656124MaRDI QIDQ2324205

Quang Loc Le, Shengchao Qin, Jun Sun

Publication date: 16 September 2019

Full work available at URL: https://link.springer.com/content/pdf/10.1007%2F978-3-319-89960-2.pdf

Mathematics Subject Classification ID

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

Related Items (3)

An efficient cyclic entailment procedure in a fragment of separation logic ⋮ Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation ⋮ Compositional satisfiability solving in separation logic

This page was built for publication: Frame inference for inductive entailment proofs in separation logic