/tla-cascading-failure

Explorations in using TLA+ to model integrations of systems

Primary LanguageTLA

Provisioning

Models described in this blog post:

  • The Naive Cluster
  • Load Balancer
  • Autoscaling