Systems Correctness Practices at Amazon Web Services.

Saved in:

Bibliographic Details
Title:	Systems Correctness Practices at Amazon Web Services.
Authors:	Brooker, Marc¹ (AUTHOR) marcbrooker@gmail.com, Desai, Ankush¹ (AUTHOR) ankush@eecs.berkeley.edu
Source:	Communications of the ACM. Jun2025, Vol. 68 Issue 6, p38-42. 5p.
Subjects:	Amazon Web Services Inc., Computer software correctness, Software reliability, Programming languages, Simulation methods & models, Virtual machine systems
Abstract:	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 language at AWS, as well as methods including property-based testing, fault-injection testing and event-based simulation.
Database:	Engineering Source

Description
Abstract:	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 language at AWS, as well as methods including property-based testing, fault-injection testing and event-based simulation.
ISSN:	00010782
DOI:	10.1145/3729175