4 ms·15 Years of Formal Methods at AWS: Just Good Engineering Practice?2 points by transpute 3y agotranspute 3y agoVideo: https://youtube.com/watch?v=HxP4wi4DhA0 https://youtube.com/watch?v=HxP4wi4DhA0