Categories
Software Quality

How formal methods helped AWS to design amazing services

A longer article about my research, how AWS used formal methods – in particular TLA+ to design their outstanding services like DynamoDB, EC2 or S3.