Using Lightweight Formal Methods to Validate a KV Storage Node in Amazon S3dl.acm.org3 pointsmlerner5 years ago