Pages that link to "Item:Q604392"
From MaRDI portal
The following pages link to Modular inference of subprogram contracts for safety checking (Q604392):
Displaying 3 items.
- Formal verification of numerical programs: from C annotated programs to mechanical proofs (Q1949765) (← links)
- Automatically proving termination and memory safety for programs with pointer arithmetic (Q2362494) (← links)
- Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework (Q4988925) (← links)
