Pages that link to "Item:Q2982005"
From MaRDI portal
The following pages link to Refinement through restraint: bringing down the cost of verification (Q2982005):
Displaying 6 items.
- Flashix: modular verification of a concurrent and crash-safe flash file system (Q2117600) (← links)
- A Framework for the Automatic Formal Verification of Refinement from Cogent to C (Q2829268) (← links)
- Verified Characteristic Formulae for CakeML (Q2988660) (← links)
- The verified CakeML compiler backend (Q4972072) (← links)
- Ready,<tt>Set</tt>, Verify! Applying<tt>hs-to-coq</tt>to real-world Haskell code (Q5018778) (← links)
- Cogent: uniqueness types and certifying compilation (Q5019022) (← links)