Tla Plus, Resilience, Software Development, DevOps.
concept of using TLA+ to model systems integration. The core problem with this model is that it doesn’t capture a few essential components of behavior. We have a magical load balancer that apparently has no logic defining which VMs get which traffic, and processes consuming resources indefinitely.