Conference Proceedings

Why Amazon chose TLA+

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2014) 8477 LNCS 25-39
DOI: 10.1007/978-3-662-43652-3_3
44Citations
Citations of this article
26Readers
Mendeley users who have this article in their library.
Get full text

Abstract

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. © 2014 Springer-Verlag.

Cite

CITATION STYLE

APA

Newcombe, C. (2014). Why Amazon chose TLA+. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8477 LNCS, pp. 25–39). Springer Verlag. https://doi.org/10.1007/978-3-662-43652-3_3

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free