Backwards and forwards with separation logic

DOI10.1007/978-3-319-94821-8_5OpenAlexW2809898338MaRDI QIDQ1791147

Peter Höfner, Callum Bannister, Gerwin Klein

Publication date: 4 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-94821-8_5

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Effect algebras, Girard quantales and complementation in separation logic

Uses Software

• Coq
• Dafny
• Isabelle/HOL
• HOL
• VeriFast
• VeriSmall
• Charge!

This page was built for publication: Backwards and forwards with separation logic