Formal verification of Finite Difference scheme