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

Laura Titolo, Mariano M. Moscato, César A. Muñoz, Aaron Dutle, and François Bobot
July 2018
PDF Cite DOI
Type
Conference paper
Publication
In Proceedings of the 22nd International Symposium on Formal Methods (FM 2018)