Edwards, ChantalFagan, Mike2018-06-182018-06-182003-11Edwards, Chantal and Fagan, Mike. "Verifying A Runge-Kutta Solver Using ADOL-C." (2003) <a href="https://hdl.handle.net/1911/102009">https://hdl.handle.net/1911/102009</a>.https://hdl.handle.net/1911/102009This report describes our effort to verify differential equation solvers using automatic differentiation (AD). In particular, the report describes the AD verification technique in general, as well as the application of the technique to a 4th order Runge-Kutta solver using the ADOL-C tool.8 ppengTechnical reportTR03-13