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.
posted in Uncategorized by Ivan Gospodinow