4 ms·Formal Methods to Validate a Key-Value Storage Node in Amazon S3 [pdf]3 points by simonebrunozzi 5y ago