Pages that link to "Item:Q2931838"
From MaRDI portal
The following pages link to Automatic detection of floating-point exceptions (Q2931838):
Displayed 6 items.
- raSAT: an SMT solver for polynomial constraints (Q1688535) (← links)
- Identifying volatile numeric expressions in numeric computing applications (Q1997724) (← links)
- Correct approximation of IEEE 754 floating-point arithmetic for program verification (Q2152274) (← links)
- A two-phase approach for conditional floating-point verification (Q2233493) (← links)
- Deductive verification of floating-point Java programs in KeY (Q2233510) (← links)
- Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions (Q5206960) (← links)