3 ms·Using Lightweight Formal Methods to Validate a Key-Value Storage Node in AWS S3 [pdf]2 points by 925dk 5y ago