Systems Correctness Practices at Amazon Web Services.
Saved in:
| Title: | Systems Correctness Practices at Amazon Web Services. |
|---|---|
| Authors: | Brooker, Marc1 (AUTHOR) marcbrooker@gmail.com, Desai, Ankush1 (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 |
Be the first to leave a comment!
