Using Lightweight Formal Methods to Validate a KV Storage Node in Amazon S3 [pdf]assets.amazon.science1 pointPaulHoule2 years ago