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.
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.