Systems Correctness Practices at Amazon Web Services

Authors: Marc Brooker, Ankush Desai

Published: 2025-05-29

DOI: 10.1145/3729175

Source: Full article

Abstract

Leveraging formal and semi-formal methods.