Formal verification of division and square root implementations, an Oracle report.

David L. Rager, Jo C. Ebergen, Dmitry Nadezhin, Austin Lee, Cuong Kim Chau, Ben Selfridge

Browse the full FMCAD paper archive.