Hacker News new | comments | show | ask | jobs | submit login
Formal verification of floating-point arithmetic at Intel (2006) [pdf] (cam.ac.uk)
1 point by Chaebixi 6 months ago | hide | past | web | favorite



Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact

Search: