vcfloat

VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations

Search similar apps

    License

    GNU Lesser General Public License v3.0

    VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations

    Creator

    VeriNum

    Related apps