How Amazon Web Services Uses Formal Methods

The work

TitleHow Amazon Web Services Uses Formal Methods
AuthorsChris Newcombe; Tim Rath; Fan Zhang; Bogdan Munteanu; Marc Brooker; Michael Deardeuff
Typearticle
Year2015
Citekeynewcombe2015amazon

Where it appeared

Published inCommunications of the ACM
PublisherAssociation for Computing Machinery
Volume58
Issue4
Pages66--73

Identifiers

DOI10.1145/2699417

Where this came from

How it got herealready cited · cited in bibtex
First seen2026-08-18
Recordreviewed by a person
Approved2026-08-18
In: Communications of the ACM venue Do formal methods pay off? topic

Cite it as

@article{newcombe2015amazon,
  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},
  year = {2015},
  journal = {Communications of the ACM},
  volume = {58},
  number = {4},
  pages = {66--73},
  publisher = {Association for Computing Machinery},
  doi = {10.1145/2699417},
}

This record lives at https://refs.drheap.org/newcombe2015amazon/ and will keep doing so.