3 ms·Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS3 points by eatonphil 1y ago