Bedrock
From MaRDI portal
Software:40244
swMATH28530MaRDI QIDQ40244FDOQ40244
Author name not available (Why is that?)
Cited In (5)
- On models of higher-order separation logic
- Verified Characteristic Formulae for CakeML
- 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
- Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits
This page was built for software: Bedrock
