Systems Correctness Practices at Amazon Web Services.

This article provides an overview of the current practices, both formal and semi-formal, employed at Amazon Web Services (AWS) for ensuring system correctness. Topics include the use of the formal specification language TLA+ as well as the incorporation of another language, P, a state-machine-based...

Full description

Bibliographic Details

Published in:	Communications of the ACM Vol. 68; no. 6; pp. 38 - 43
Main Authors:	Brooker, Marc, Desai, Ankush
Format:	Article
Published:	Association for Computing Machinery Jun2025
Subjects:	Amazon Web Services Inc. Computer software correctness Software reliability Programming languages Simulation methods & models Virtual machine systems
Online Access:	View this record in EBSCOhost