False failure: creating failure models for separation logic

DOI10.1007/978-3-030-02149-8_16MaRDI QIDQ1617829zbMATH OpenOpenAlexFDO

Authors Callum Bannister, Peter Höfner

Publication date 8 November 2018

Full work available at URL https://doi.org/10.1007/978-3-030-02149-8_16

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Backwards and forwards with separation logic
• Computer Science Logic
• Program Verification with Separation Logic
• Algebraic separation logic
• Separation Logic for Higher-Order Store

Cited in

(2)

• Backwards and forwards with separation logic
• Fault-tolerant resource reasoning

This page was built for publication: False failure: creating failure models for separation logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1617829)