# content
Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 (via df) — discussion

#distributed #pdf