Some large teams have tried to overcome this by making up every such scenario, coding it into simulation, and testing their system.

What makes this challenging is that there are more such scenarios that might occur than there are grains of sand, or stars in the universe.

Those teams end up thinking they did all the necessary work and then go test, just to find out that there's a new edge case. At Starsky we called it Safety Theatre