Mechanised Separation Algebra
From MaRDI portal
Publication:2914753
DOI10.1007/978-3-642-32347-8_22zbMath1360.68754OpenAlexW38607681MaRDI QIDQ2914753
Andrew Boyton, Rafal Kolanski, Gerwin Klein
Publication date: 20 September 2012
Published in: Interactive Theorem Proving (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-32347-8_22
Related Items
A Program Construction and Verification Tool for Separation Logic, Refinement to Imperative/HOL, Proof tactics for assertions in separation logic, A formal C memory model for separation logic, Unnamed Item, Refinement to imperative HOL
Uses Software