Use of Formal Methods at Amazon Web Services (2013) [pdf]research.microsoft.com91 pointsyankcrime12 years ago