February 4, 2025Volume 22, issue 6 PDF Leveraging Formal and Semi-formal Methods Marc Brooker and Ankush Desai AWS (Amazon Web Services) strives to deliver reliable services that customers can trust completely. This demands maintaining the highest standards of security, durability, integrity, and availability—with systems correctness serving as the cornerstone for achieving these priorities. An April 2015 paper published in Communications of the ACM, titled "How Amazon Web Services Uses Formal M...