VeriNum

Formally Verified Numerical Methods

United States of America

Pinned Repositories

double-double
A Formally Verified Library of Double-Word Arithmetic
Language:Coq0 1 00
iterative_methods
Verified Error Analysis for Stationary Iterative Methods
Language:Coq3 2 00
LAProof
Language:Coq6 2 61
pardotprod
Parallel Dot Product, Verified in VST
Language:Coq5 1 01
vcfloat
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
Language:Coq26 12 711
VerifiedLeapfrog
Formally verified numerical integration of an ordinary differential equation
Language:Coq10 1 01
VeriNum.github.io
Source for the verinum.org web site
Language:HTML0 4 00

VeriNum's Repositories

VeriNum/vcfloat
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
Language:Coq26 12 711
VeriNum/VerifiedLeapfrog
Formally verified numerical integration of an ordinary differential equation
Language:Coq10 1 01
VeriNum/LAProof
Language:Coq6 2 61
VeriNum/pardotprod
Parallel Dot Product, Verified in VST
Language:Coq5 1 01
VeriNum/iterative_methods
Verified Error Analysis for Stationary Iterative Methods
Language:Coq3 2 00
VeriNum/double-double
A Formally Verified Library of Double-Word Arithmetic
Language:Coq0 1 00
VeriNum/VeriNum.github.io
Source for the verinum.org web site
Language:HTML0 4 00