Using Lightweight Formal Methods to Validate Services in Amazon S3 [pdf]

assets.amazon.science