Using Lightweight Formal Methods to Validate Services in Amazon S3 [pdf]assets.amazon.science3 points·hakejam··0 commentsOpen articleSaveView on HN