| swMATH ID: |
47679
|
| Software Authors: |
Févotte, François; Lathuilière, Bruno
|
| Description: |
Verrou: a floating-point rounding errors checker. Verrou helps you look for floating-point round-off errors in programs. It implements a stochastic floating-point arithmetic based on random rounding: all floating-point operations are perturbed by randomly switching rounding modes. This can be seen as an asynchronous variant of the CESTAC method, or a subset of Monte Carlo Arithmetic, performing only output randomization. As with many other Valgrind tools, you probably want to recompile your program with debugging info (the -g option) and with optimization turned on. |
| Homepage: |
http://edf-hpc.github.io/verrou/vr-manual.html
|
| Source Code: |
 https://github.com/edf-hpc/verrou
|
| Dependencies: |
C; C++ |
| Keywords: |
Monte Carlo Arithmetic;
floating-point arithmetic;
numerical verification;
round-off errors
|
| Related Software: |
CADNA;
MPFR;
MCALIB;
Valgrind;
Gappa;
Daisy;
FpDebug;
Shaman;
Algorithm 1029;
Boost Interval Arithmetic;
MPI/MPICH;
Eigen;
Trilinos;
NumGfun;
2Sum;
XBLAS;
ReproBLAS;
Algorithm 1014;
CPFloat;
MPFI
|
| Cited in: |
3 Documents
|
