I know there is some kind of mathematical proof that can be done to show the correctness of some software, but is that universally applicable or only in certain situations?
Would love to hear opinions on this from some one more knowledgeable in this area, as the “finite number of bugs” is a statement I’ve heard a lot lately and I’m not sure if it’s actually justified or not