How Amazon web services uses formal methods

@article{Newcombe2015HowAW,
  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},
  year={2015},
  volume={58},
  pages={66-73}
}
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.

Citations

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

Why Separation Logic Works

2017
View 6 Excerpts
Highly Influenced

Databases and Information Systems

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

130 Citations

020406020152016201720182019
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…