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
[ 5.5 ms ] story [ 15.3 ms ] threadNo comments yet.