Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3

A Cloud-Optimized Transport Protocol for Elastic and Scalable HPC (2020)

Millions of Tiny Databases