Hacker News new | ask | show | jobs
Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 [pdf] (assets.amazon.science)
2 points by badcryptobitch 88 days ago