This code accompanies the blog post
Reproducing the AWS Outage Race Condition with a Model Checker.
It shows a small experiment reproducing the AWS DNS race condition using the Spin model checker.
wyounas/aws-dns-outage-oct-2025-modeling
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|