A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm.

Laura Titolo, Mariano M. Moscato, Csar A. Muoz, Aaron Dutle, Franois Bobot

Browse the full FM paper archive.