Why Amazon Chose TLA + 

  • Chris Newcombe
Conference paper

DOI: 10.1007/978-3-662-43652-3_3

Volume 8477 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Newcombe C. (2014) Why Amazon Chose TLA + . In: Ait Ameur Y., Schewe KD. (eds) Abstract State Machines, Alloy, B, TLA, VDM, and Z. ABZ 2014. Lecture Notes in Computer Science, vol 8477. Springer, Berlin, Heidelberg


Since 2011, engineers at Amazon have been using TLA +  to help solve difficult design problems in critical systems. This paper describes the reasons why we chose TLA +  instead of other methods, and areas in which we would welcome further progress.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2014

Authors and Affiliations

  • Chris Newcombe
    • 1
  1. 1.Amazon, Inc.USA