A separation logic with data: small models and automation

DOI10.1007/978-3-319-94205-6_30MaRDI 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

68Q25: Analysis of algorithms and problem complexity

03B70: Logic in computer science

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

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

Uses Software

• z3