Pages that link to "Item:Q3296349"
From MaRDI portal
The following pages link to An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs (Q3296349):
Displaying 12 items.
- PRECiSA (Q53741) (← links)
- Rigorous roundoff error analysis of probabilistic floating-point computations (Q832297) (← links)
- Formal analysis of the compact position reporting algorithm (Q1996426) (← links)
- Exploiting verified neural networks via floating point numerical error (Q2145326) (← links)
- Formal analysis of the application programming interface of the PVS verification system (Q2168789) (← links)
- Runtime abstract interpretation for numerical accuracy and robustness (Q2234076) (← links)
- Programming Languages and Systems (Q5308685) (← links)
- Bit-precise verification of discontinuity errors under fixed-point arithmetic (Q6045065) (← links)
- Synthesis of Rigorous Floating-Point Predicates (Q6487299) (← links)
- Provably correct floating-point implementation of a point-in-polygon algorithm (Q6535939) (← links)
- Formally verified roundoff errors using SMT-based certificates and subdivisions (Q6535941) (← links)
- Algorithm 1029: encapsulated error, a direct approach to evaluate floating-point accuracy (Q6599992) (← links)
