Formal Verification of a State-of-the-Art Integer Square Root.

Guillaume Melquiond, Raphal Rieu-Helft

Browse the full ARITH paper archive.