9 ms·Using Lightweight Formal Methods to Validate a KV Storage Node in Amazon S33 points by mlerner 5y ago