News for hackers. Stuff that matters.

A comment on Diving Deep on S3 Consistency.

Re:Diving Deep on S3 Consistency by crashocaster on Wednesday April 28, 2021 @09:46AM (#26969289)
I would have been interested to hear more about the verification techniques and tools they used for this project.
[ Parent | on HN ]
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 ]
Re:Diving Deep on S3 Consistency by sidereal on Wednesday April 28, 2021 @10:36AM (#26969850)
The folks involved gave a neat talk about the verification techniques and tools they used as part of AWS Pi Week recently: https://www.twitch.tv/videos/951537246?t=1h10m10s
[ Parent | on HN ]