4 ms·Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 [pdf]2 points by badcryptobitch 8mo ago