Formally Verified FPSan
A formally verified floating-point sanitizer for software development.
Why it made the shelf
The product is an open source software verification tool hosted on GitHub used to check floating-point operations.
Seen on
- First seen
- 3 months ago
- Best score
- 2 points
Behind the tool
Who built it. How it grew.
People, backing, growth, and ownership. Every claim links to its source.
Official sitegithub.com
Source review queued
Public trail
Where it showed up
1 reference from 1 publisher.
- First trace
- Hacker News3 months ago
- 01Hacker NewsFirst trace
Launch thread
