Use of Formal Methods at Amazon Web Services [pdf]research.microsoft.com2 points·alexatkeplar··1 commentOpen articleSaveView on HN