Tla Plus, Resilience, Software Development, DevOps.
an unhealthy VM, one that adds a VM to the pool when resource use is high, and one that shuts down VMs when resource use is low. fair process VM_dies = "kill a VM" begin Fail: await Len(VMs) > 1; VMs := SelectSeq(VMs, LAMBDA x: x < 8); end process; fair process scale_up = "autoscale up" variable