Pages that link to "Item:Q1630033"
From MaRDI portal
The following pages link to Automating the verification of floating-point programs (Q1630033):
Displaying 7 items.
- Polynomial function intervals for floating-point software verification (Q457251) (← links)
- Correct approximation of IEEE 754 floating-point arithmetic for program verification (Q2152274) (← links)
- Deductive verification of floating-point Java programs in KeY (Q2233510) (← links)
- Counterexample- and simulation-guided floating-point loop invariant synthesis (Q2233532) (← links)
- Stabilizing Floating-Point Programs Using Provenance Analysis (Q2961567) (← links)
- Programming Languages and Systems (Q5308685) (← links)
- Automatic Generation of Guard-Stable Floating-Point Code (Q6487928) (← links)