TY  - RPRT
TI  - Verificarlo: checking floating point accuracy through Monte Carlo Arithmetic
AU  - Christophe Denis
AU  - Pablo De Oliveira Castro
AU  - Eric Petit
PY  - 2018
DO  - 10.1109/arith.2016.31
UR  - https://arxiv.org/abs/1509.01347
ID  - 1509.01347
ER  -