2 ms·Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS [video]2 points by wwilson 1y ago