@misc{indiciae5d1914f4b013,
  title = {Verificarlo: checking floating point accuracy through Monte Carlo Arithmetic},
  author = {Christophe Denis and Pablo De Oliveira Castro and Eric Petit},
  year = {2018},
  doi = {10.1109/arith.2016.31},
  url = {https://arxiv.org/abs/1509.01347},
  note = {Source identifier: 1509.01347}
}