AWS have worked with Leslie Lamport of proving properties about S3. See: Use of Formal Methods at Amazon Web Services https://lamport.azurewebsites.net/tla/fo

AWS have worked with Leslie Lamport of proving properties about S3. See: Use of Formal Methods at Amazon Web Services https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf https://lamport.azurewebsites.net/tla/formal-methods-amazon....