Verifying solutions for differential equations