soarlab / FPTaylorLinks
Tool for Rigorous Estimation of Round-Off Floating-Point Errors
☆31Updated last year
Alternatives and similar repositories for FPTaylor
Users that are interested in FPTaylor are comparing it to the libraries listed below
Sorting:
- ☆88Updated 3 years ago
- ☆57Updated 2 months ago
- Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…☆72Updated 4 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆50Updated 4 years ago
- The opensmt solver☆89Updated last week
- ☆50Updated 2 months ago
- An automated deductive program verifier.☆42Updated 2 years ago
- Libraries useful for Dafny programs☆45Updated last month
- Communication between Coq and SAT/SMT solvers☆160Updated last year
- A standard for floating point accuracy benchmarks☆52Updated 6 months ago
- SRI Sally: A model checker for infinite-state systems.☆73Updated last month
- Verimag Polyhedra Library