Pages that link to "Item:Q3638088"
From MaRDI portal
The following pages link to Floats and Ropes: A Case Study for Formal Numerical Program Verification (Q3638088):
Displaying 7 items.
- Wave equation numerical resolution: a comprehensive mechanized proof of a C program (Q352952) (← links)
- Polynomial function intervals for floating-point software verification (Q457251) (← links)
- Formal verification of numerical programs: from C annotated programs to mechanical proofs (Q1949765) (← links)
- Trusting computations: a mechanized proof from partial differential equations to actual program (Q2398899) (← links)
- Combining Coq and Gappa for Certifying Floating-Point Programs (Q3637269) (← links)
- Formally-verified round-off error analysis of Runge-Kutta methods (Q6149594) (← links)
- Rounding error analysis of linear recurrences using generating series (Q6163326) (← links)
