Using Lightweight Formal Methods to Validate a Key-Value Storage Node in AWS S3 [pdf] (assets.amazon.science)

2 points by 925dk 4y ago ↗ HN

0 comments

[ 3.5 ms ] story [ 13.5 ms ] thread

No comments yet.