Comment by HexDecOctBin
4 days ago
Sure, but how do you prove that you won't end up with `x' + y' > Z` for some value of x' and y'? In practice, it's always easier to prove `x < X, y < Y`.
4 days ago
Sure, but how do you prove that you won't end up with `x' + y' > Z` for some value of x' and y'? In practice, it's always easier to prove `x < X, y < Y`.
Generally the idea is that all of these are (more or less) easy to prove but the other policy allows for x' and y' to be independent