VeriTracer: Context-enriched tracer for floating-point arithmetic analysis.

Yohan Chatelain, Pablo de Oliveira Castro, Eric Petit, David Defour, Jordan Bieder, Marc Torrent

Browse the full ARITH paper archive.