Charge!
From MaRDI portal
Publication:2914751
DOI10.1007/978-3-642-32347-8_21zbMath1360.68741OpenAlexW4236538466MaRDI QIDQ2914751
Jonas Braband Jensen, Jesper Bengtson, Lars Birkedal
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_21
Related Items (7)
VST-Floyd: a separation logic tool to verify correctness of C programs ⋮ Formally verifying exceptions for low-level code with separation logic ⋮ Proof tactics for assertions in separation logic ⋮ Temporary Read-Only Permissions for Separation Logic ⋮ LINCX: A Linear Logical Framework with First-Class Contexts ⋮ Extensible and Efficient Automation Through Reflective Tactics ⋮ A relational shape abstract domain
Uses Software
This page was built for publication: Charge!