via: Reproducing the AWS Outage Race Condition with a Model Checker | Waqas Younas' blog Welcome to Waqas' blog wyounas.github.io ↗