How Amazon Web Services Uses Formal Methods
The work
| Authors | Chris Newcombe; Tim Rath; Fan Zhang; Bogdan Munteanu; Marc Brooker; Michael Deardeuff |
|---|---|
| Editors | |
| Type | article |
| Year | 2015 |
| Citekey | newcombe2015amazon |
Where it appeared
| Published in | Communications of the ACM |
|---|---|
| Publisher | Association for Computing Machinery |
| Volume | 58 |
| Issue | 4 |
| Pages | 66--73 |
Identifiers
| DOI | 10.1145/2699417 |
|---|
Empty on purpose
| copy |
Related
| Distinct from | colburn1993program |
|---|---|
| Distinct from | demillo1993social |
| Distinct from | fetzer1993program |
| Distinct from | huisman2020formal |
| Distinct from | klein2018formally |
| Distinct from | ohearn2019separation |
| Distinct from | smith1993limits |
How it got here
| How it got here | import via bibtex |
|---|---|
| Added | 2026-08-18 00:00 UTC |
| Approved by | a person 2026-08-18 16:23 UTC |
Filed under
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},
publisher = {Association for Computing Machinery},
volume = {58},
number = {4},
pages = {66--73},
doi = {10.1145/2699417},
}
This record lives at https://refs.drheap.org/newcombe2015amazon/ and will keep doing so.