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 6 items.
- 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)
- Affine Arithmetic and Applications to Real-Number Proving (Q2945641) (← links)
- Hardware-Dependent Proofs of Numerical Programs (Q3100216) (← links)
- Provably correct floating-point implementation of a point-in-polygon algorithm (Q6535939) (← links)
