1. 12
    Use of Formal Methods at Amazon Web Services ☶ design distributed research.microsoft.com
    timr avatar via timr 9 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments

Trip report describing Amazon’s use of Lamport’s TLA+[1] to aid in designing S3, DynamoDB, EBS, and an internal distributed lock manager.

[1] http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html