Pages that link to "Item:Q1949765"
From MaRDI portal
The following pages link to Formal verification of numerical programs: from C annotated programs to mechanical proofs (Q1949765):
Displaying 11 items.
- Wave equation numerical resolution: a comprehensive mechanized proof of a C program (Q352952) (← links)
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers (Q779625) (← links)
- Formal analysis of the compact position reporting algorithm (Q1996426) (← links)
- A formally verified floating-point implementation of the compact position reporting algorithm (Q2024357) (← links)
- Computer-assisted verification of four interval arithmetic operators (Q2175842) (← links)
- Trusting computations: a mechanized proof from partial differential equations to actual program (Q2398899) (← links)
- Affine Arithmetic and Applications to Real-Number Proving (Q2945641) (← links)
- Semantical proofs of correctness for programs performing non-deterministic tests on real numbers (Q3060187) (← links)
- Hardware-Dependent Proofs of Numerical Programs (Q3100216) (← links)
- C-language floating-point proofs layered with VST and Flocq (Q5014364) (← links)
- Provably correct floating-point implementation of a point-in-polygon algorithm (Q6535939) (← links)
