Pages that link to "Item:Q5747756"
From MaRDI portal
The following pages link to Multi-Prover Verification of Floating-Point Programs (Q5747756):
Displaying 7 items.
- Deciding floating-point logic with abstract conflict driven clause learning (Q479837) (← links)
- Formal verification of numerical programs: from C annotated programs to mechanical proofs (Q1949765) (← links)
- TASS: the toolkit for accurate scientific software (Q1949767) (← links)
- Computer-assisted verification of four interval arithmetic operators (Q2175842) (← links)
- Verified compilation of floating-point computations (Q2352505) (← links)
- Hardware-Dependent Proofs of Numerical Programs (Q3100216) (← links)
- Multi-Prover Verification of Floating-Point Programs (Q5747756) (← links)
