Login
From:
awsmaniac.com
(Uncensored)
subscribe
How formal methods helped AWS to design amazing services | AWS Maniac
https://awsmaniac.com/how-formal-methods-helped-aws-to-design-amazing-services/
links
backlinks
Roast topics
Find topics
Find it!
It is a longer article about my research, how AWS used formal methods - in particular, TLA+ to design their outstanding services like Amazon DynamoDB, Amazon EC2, or Amazon S3.
