Joy of Computing
A new link every weekday from the
A new link every weekday from the RC community
Sunday, Apr 28
Using TLA+ to model cascading failures
, submitted by
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.