Bedrock
From MaRDI portal
Software:40244
No author found.
Related Items (5)
On models of higher-order separation logic ⋮ Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs ⋮ VST-Floyd: a separation logic tool to verify correctness of C programs ⋮ Verified Characteristic Formulae for CakeML ⋮ Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits
This page was built for software: Bedrock
