4 ms·Using Lightweight Formal Methods to Validate Services in Amazon S3 [pdf]3 points by hakejam 5y ago