![Mathematics / Formal methods / Model checking / Software bug / Correctness / PlusCal / Algorithm / Communications protocol / Computer programming / Theoretical computer science / Computing / Applied mathematics Mathematics / Formal methods / Model checking / Software bug / Correctness / PlusCal / Algorithm / Communications protocol / Computer programming / Theoretical computer science / Computing / Applied mathematics](https://www.pdfsearch.io/img/d12272f9800cc5b0370c5369347e852c.jpg) Date: 2014-10-24 08:52:42Mathematics Formal methods Model checking Software bug Correctness PlusCal Algorithm Communications protocol Computer programming Theoretical computer science Computing Applied mathematics | | Use of Formal Methods at Amazon Web Services Chris Newcombe, Tim Rath, Fan Zhang, Bogdan Munteanu, Marc Brooker, Michael Deardeuff Amazon.com 29th September, 2014 Since 2011, engineers at Amazon Web Services (AWS) have bAdd to Reading ListSource URL: research.microsoft.comDownload Document from Source Website File Size: 438,39 KBShare Document on Facebook
|