Pages that link to "Item:Q2152274"
From MaRDI portal
The following pages link to Correct approximation of IEEE 754 floating-point arithmetic for program verification (Q2152274):
Displaying 8 items.
- Polynomial function intervals for floating-point software verification (Q457251) (← links)
- Automating the verification of floating-point programs (Q1630033) (← links)
- A formally verified floating-point implementation of the compact position reporting algorithm (Q2024357) (← links)
- Verified compilation of floating-point computations (Q2352505) (← links)
- (Q3139699) (← links)
- A Mechanically Checked Proof of IEEE Compliance of the Floating Point Multiplication, Division and Square Root Algorithms of the AMD-K7<sup>™</sup> Processor (Q4230664) (← links)
- An accurate elementary mathematical library for the IEEE floating point standard (Q4371730) (← links)
- Bit-precise verification of discontinuity errors under fixed-point arithmetic (Q6045065) (← links)