AWS DynamoDB Outage Analysis (via alfh) — discussion

#formalmethods #practices