Use of Formal Methods at Amazon Web Services [pdf]research.microsoft.com2 pointsalexatkeplar11 years ago