Note
Canonical reference for TLA+ in industry. AWS engineers used TLA+ to find subtle bugs in DynamoDB, S3, and other critical systems. Formal methods described as “surprisingly feasible” and “routinely applied” at Amazon scale.
Details
- Journal
- Communications of the ACM
Citation Key
newcombe2015tlaplus