Bi-Abduction with Pure Properties for Specification Inference

DOI10.1007/978-3-319-03542-0_8zbMath1426.68067OpenAlexW34572513MaRDI QIDQ2937788

Quang Loc Le, Cristina David, Minh-Thai Trinh, Wei-Ngan Chin

Publication date: 12 January 2015

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

Full work available at URL: https://doi.org/10.1007/978-3-319-03542-0_8

zbMATH Keywords

separation logicprogram verificationmemory safetyfunctional correctnessspecification inferencepure bi-abduction

Mathematics Subject Classification ID

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

Related Items (2)

Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper) ⋮ Compositional satisfiability solving in separation logic

This page was built for publication: Bi-Abduction with Pure Properties for Specification Inference