Tla Plus, Resilience, Software Development, DevOps.
combinations TLA+ has to consider, the longer the full model takes to run. So we settle on four as the sweet spot where we have enough events to see problematic behavior but not so much that we need to grab a coffee and come back to check the model’s results. Now the meat and potatoes of our