The authors give short survey on validated computaion of initial value problems for ODEs especially Taylor model methods. Then they propose an application of Taylor models to the Nakao method which has been developed for numerical verification methods on PDEs and apply it to initial value problems for ODEs with some numerical experiments.
"An Application of Taylor Models to the Nakao Method on ODEs." Japan J. Indust. Appl. Math. 26 (2-3) 365 - 392, October 2009.