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 9 months ago | hide | past | web | favorite



Applications are open for YC Winter 2019

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

Search: