Using Lightweight Formal Methods to Validate a Key-Value Storage Node in AWS S3 [pdf]assets.amazon.science2 ポイント·投稿者 925dk·5 年前·0 コメント