"fail to elucidate why"

Ok. The possible combinations of the way your application can (theoretically) run far outnumbers the estimated number of atoms in the visible universe - even for small programs. You just need a couple of loops in loops. If your program don't have it then I'm sure Node, Apache, Postgres, Rails whatever have plenty.

While many of these combinations may never happen you would still have to provide proof of all of them not causing your program to go into a state which you can not handle.

"and then go and make some of your own comparisons with the space shuttle" This was a comparison of complexity - not a direct comparison between the two.