New top story on Hacker News: Formally verifying a floating-point division routine with Gappa – part 1

Formally verifying a floating-point division routine with Gappa – part 1
3 by montalbano | 0 comments on Hacker News.