Correctness of numerical codes is a huge and under-appreciated concern in climate models. There have been some attempts to apply software correctness techniques to climate models. For example, https://people.engr.ncsu.edu/jwb/papers/altuntas-correctness...
Much more work in this direction is needed.