Login / Signup
Michael Deardeuff
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Provably Correct
Model Checker
Formal Specification Language
Formal Methods
Top Venues
Commun. ACM
</>
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)