To paraphrase uncle Bob from the “Clean Code” lectures: It is impossible to prove mathematically that software works, it can only be tested that it is not broken yet.

Something to think about.