The following pages link to (Q4494691):
Displaying 7 items.
- Formal verification of the VAMP floating point unit (Q816201) (← links)
- Formalization of fixed-point arithmetic in HOL (Q816219) (← links)
- Balancing the load. Leveraging a semantics stack for systems verification (Q835780) (← links)
- A parametric error analysis of Goldschmidt's division algorithm (Q1765225) (← links)
- Solving the generalized mask constraint for test generation of binary floating point add operation. (Q1853639) (← links)
- Correct approximation of IEEE 754 floating-point arithmetic for program verification (Q2152274) (← links)
- Pervasive Theory of Memory (Q3644715) (← links)