Pages that link to "Item:Q5308361"
From MaRDI portal
The following pages link to Numerical Software with Result Verification (Q5308361):
Displayed 6 items.
- Polynomial function intervals for floating-point software verification (Q457251) (← links)
- Semantics of roundoff error propagation in finite precision calculations (Q853732) (← links)
- Improving the results of program analysis by abstract interpretation beyond the decreasing sequence (Q1620957) (← links)
- Stabilizing Floating-Point Programs Using Provenance Analysis (Q2961567) (← links)
- Static Analysis of Finite Precision Computations (Q3075485) (← links)
- Proving the Correctness of the Implementation of a Control-Command Algorithm (Q3392923) (← links)