How Amazon web services uses formal methods

  title={How Amazon web services uses formal methods},
  author={Chris Newcombe and Tim Rath and Fan Zhang and Bogdan Munteanu and Marc Brooker and Michael Deardeuff},
  journal={Commun. ACM},
Engineers use TLA+ to prevent serious but subtle bugs from reaching production. 
Highly Influential
This paper has highly influenced 12 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 130 citations. REVIEW CITATIONS
Related Discussions
This paper has been referenced on Twitter 7 times. VIEW TWEETS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 78 extracted citations

Why Separation Logic Works

View 6 Excerpts
Highly Influenced

Databases and Information Systems

Communications in Computer and Information Science • 2018
View 10 Excerpts
Highly Influenced

130 Citations

Citations per Year
Semantic Scholar estimates that this publication has 130 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…