Pages that link to "Item:Q3100216"
From MaRDI portal
The following pages link to Hardware-Dependent Proofs of Numerical Programs (Q3100216):
Displaying 5 items.
- Identifying volatile numeric expressions in numeric computing applications (Q1997724) (← links)
- Verified compilation of floating-point computations (Q2352505) (← links)
- Proof producing synthesis of arithmetic and cryptographic hardware (Q2642982) (← links)
- A Formal Proof of Square Root and Division Elimination in Embedded Programs (Q5195252) (← links)
- Deductive Binary Code Verification Against Source-Code-Level Specifications (Q6487259) (← links)