Why Amazon Chose TLA + 

  • Chris Newcombe
Conference paper

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

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8477)
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

Personalised recommendations