Formal Methods to Validate a Key-Value Storage Node in Amazon S3 [pdf]assets.amazon.science3 pointssimonebrunozzi5 years ago