Numerical Verification of Industrial Numerical Codes Christophe Denis and Sethy Montan ESAIM: Proc., 35 (2012) 107-113 Published online: 06 April 2012 DOI: 10.1051/proc/201235006