Pages that link to "Item:Q1630022"
From MaRDI portal
The following pages link to A formal analysis of the compact position reporting algorithm (Q1630022):
Displaying 4 items.
- Formal analysis of the compact position reporting algorithm (Q1996426) (← links)
- A formally verified floating-point implementation of the compact position reporting algorithm (Q2024357) (← links)
- A two-phase approach for conditional floating-point verification (Q2233493) (← links)
- Deductive verification of floating-point Java programs in KeY (Q2233510) (← links)