Pages that link to "Item:Q4571480"
From MaRDI portal
The following pages link to A mechanically checked proof of the AMD5/sub K/86/sup TM/ floating-point division program (Q4571480):
Displaying 11 items.
- Applications of real number theorem proving in PVS (Q469367) (← links)
- Deciding floating-point logic with abstract conflict driven clause learning (Q479837) (← links)
- Efficient and accurate computation of upper bounds of approximation errors (Q633637) (← links)
- Integrating external deduction tools with ACL2 (Q1006728) (← links)
- Proving the correctness of client/server software (Q1040009) (← links)
- CoSMed: a confidentiality-verified social media platform (Q1663221) (← links)
- Additive symmetries: The non-negative case. (Q1853635) (← links)
- CoCon: a conference management system with formally verified document confidentiality (Q2031419) (← links)
- Formalization of Double-Word Arithmetic, and Comments on “Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic” (Q5066604) (← links)
- Multi-Prover Verification of Floating-Point Programs (Q5747756) (← links)
- Floating-point arithmetic (Q6047500) (← links)
