Sunday, Apr 28
Using TLA+ to model cascading failures
made by bellmar, submitted by porterjamesj
This post shows that TLA+ can be used for things you might not expect, like modeling autoscaling and load balancing with off-the-shelf tools.
