A separation logic with data: small models and automation

DOI10.1007/978-3-319-94205-6_30OpenAlexW2809698264MaRDI QIDQ1799106

Georg Weissenbacher, Dejan Jovanović, Jens Katelaan

Publication date: 18 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-94205-6_30

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

An efficient cyclic entailment procedure in a fragment of separation logic ⋮ Strong-separation logic ⋮ Compositional satisfiability solving in separation logic ⋮ Unnamed Item

Uses Software

• z3

This page was built for publication: A separation logic with data: small models and automation