Use of Formal Methods at Amazon Web Services

Use of Formal Methods at Amazon Web Services

The following technical report describes the use of TLA+ at Amazon.

The first author can be contacted at

Contact Us Terms of Use Trademarks Privacy Statement ©2010 Microsoft Corporation. All rights reserved.Microsoft