Formal Correctness of Comparison Algorithms Between Binary64 and Decimal64 Floating-Point Numbers.

Arthur Blot, Jean-Michel Muller, Laurent Thry

Browse the full CAV paper archive.