- Demo: https://youtu.be/oYtnXEZC0jk?t=28m15s

- Herbgrind: http://herbgrind.ucsd.edu/

- Herbie: http://herbie.uwplse.org/

- FPBench: http://fpbench.org/

- Tools from the Floating-point Research World: http://fpbench.org/community.html