Miscellaneous links
All kinds of information about verified methods is to be found at the site Interval Computations.
For details on verified solvers we use, go to the webpages of VNODE-LP, DynIbex, ValEncIA-IVP, and RiOT.
Two example comparison systems for floating-point based ODE solvers are IVP test set and ODELab.
A good web site collecting analytical solutions to ODEs is EqWorld.
Still more information is in our selection of publications:
About VERICOMP
About our framework (old version)
People using VERICOMP
J. A. dit Sandretto, A. Chapoutot
About comparison of floating-point based IVP solvers
Two FORTRAN packages for assessing initial value methods
Comparing numerical methods for ordinary differential equations