> So, has anyone managed to make progress toward a "systematic solution" in the last 9 years? That depends on how you define "solution". If development time i

> So, has anyone managed to make progress toward a "systematic solution" in the last 9 years? That depends on how you define "solution". If development time isn't a concern, then formal verification is a pretty solid solution. AWS has used TLA+ on a subset of its systems. [0] [0] https://en.wikipedia.org/wiki/TLA%2B https://en.wikipedia.org/wiki/TLA%2B