Originally Posted by DozyWannabe
Again though, the more complex you make the logic tree, the higher chance you have of an error manifesting.
I don't think this is quite right. If you were talking about dynamic decision-making, then I would agree that the more complex the decision tree, the more chance one has of barking up the wrong branch.
But we are talking about the system logic, and the complexity of the logic bsieker, TyroPicard and Lemurian are discussing is well within the scope of those examples which can be exhaustively checked for errors using common formal mathematical verification techniques.
Whether anyone does so, though, is another matter.
And of course what one *cannot* verify mathematically in this case is whether one has exhaustively covered all the environmental scenarios in which this logic will operate.
PBL