Login / Signup
Chris Newcombe
Publication Activity (10 Years)
Years Active: 2014-2015
Publications (10 Years): 0
Top Topics
Model Checker
Temporal Properties
Formal Specification Language
Formal Methods
Top Venues
Commun. ACM
ABZ
</>
Publications
</>
Chris Newcombe
,
Tim Rath
,
Fan Zhang
,
Bogdan Munteanu
,
Marc Brooker
,
Michael Deardeuff
How Amazon web services uses formal methods.
Commun. ACM
58 (4) (2015)
Chris Newcombe
Why Amazon Chose TLA +.
ABZ
(2014)