Lightweight Formal Methods to Validate Amazon S3 – A Summaryasatarin.github.io3 points·gmgn··0 commentsOpen articleSaveView on HN