Program
Verification
Book

PV0 ⊧ GNU MPFRC library for multiple-precision floating-point computations

C library for multiple-precision floating-point computations with correct rounding.

Type of tool

Library

Links

https://www.mpfr.org/

Related papers

https://doi.org/10.1145/1236463.1236468

ProVerB specific

Markdown description: view/edit
Reason for this entry: used by Daisy
Contained in the ProVerB22 dataset (paper + artefact)

ProVerB is a part of SLEBoK. Last updated: February 2023.