A separation logic with data: small models and automation
From MaRDI portal
Publication:1799106
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
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
This page was built for publication: A separation logic with data: small models and automation