Correctness Verification of Neural Networks Approximating Differential Equations