Programming.
It’s hugely difficult to build a complex system of services if two teams are not in sync about their assumptions. The best way to think of TLA+ is like drawing a blueprint for software you’re going to build. I’ve seen people use it to test algorithms, but I’ve also seen people use it to model user