Compositional Invariant Checking for Overlaid and Nested Linked Lists

DOI10.1007/978-3-642-37036-6_9zbMath1381.68051OpenAlexW1506554338MaRDI QIDQ5326282

Vlad Saveluc, Mihaela Sighireanu, Constantin Enea

Publication date: 5 August 2013

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-37036-6_9

Mathematics Subject Classification ID

Logic in computer science (03B70) Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

Decision Procedure for Entailment of Symbolic Heaps with Arrays ⋮ Separation logics and modalities: a survey ⋮ Unnamed Item ⋮ Compositional entailment checking for a fragment of separation logic

Uses Software

• VeriFast

This page was built for publication: Compositional Invariant Checking for Overlaid and Nested Linked Lists