Verrou ( https://github.com/edf-hpc/verrou ) is a valgrind tool dedicated to the floating-point error diagnosis. After a brief reminder of stochastic arithmetic (the key mathematical ingredient of verrou), the presentation will focus on the non-intrusive localization technics based on delta-debug algorithm.