Verifying Solutions for Differential Equations