Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 [pdf](assets.amazon.science)2 points by badcryptobitch 106 days ago | 0 commentsNo comments yet