News for hackers. Stuff that matters.

A comment on Diving Deep on S3 Consistency. Parent comment

Re:Diving Deep on S3 Consistency by jeffbarr on Wednesday April 28, 2021 @09:54AM (#26969380)
Check out https://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-... ("How Amazon Web Services Uses Formal Methods") and https://d1.awsstatic.com/Security/pdfs/One_Click_Formal_Meth... ("One-Click Formal Methods") for more info.
[ Parent | on HN ]

There are no comments on this comment yet.