Formal verification of floating-point number conversion between ASN.1 BER and IEEE 754 binary encodings

POPL'19 SRC, undergraduate category third place

[pdf] [github] [award] [event]

pdf