[Cfp-interest] formal verification of a C compiler floating-point arithmetic

[David Hough CFP]

If any of you have a bent for formal verification, I am responsible for
obtaining a review for a paper submitted for ARITH-21.

The title of the paper is

A Formally-Verified C Compiler Supporting Floating-Point Arithmetic


If you think you might be willing and able to provide a review of this
paper by 1 Nov, please let me know.

David Hough