5 ms·

AWS had a paper in SOSP on verifying parts of S3 https://assets.amazon.science/07/6c/81bfc2c243249a8b8b65cc2135e4/using-lightweight-formal-methods-to-validate-

by mirker 4y ago

AWS had a paper in SOSP on verifying parts of S3 https://assets.amazon.science/07/6c/81bfc2c243249a8b8b65cc2135e4/using-lightweight-formal-methods-to-validate-a-key-value-storage-node-in-amazon-s3.pdf https://assets.amazon.science/07/6c/81bfc2c243249a8b8b65cc21...