Use of TLA+ at Amazon

[Chris Newcombe]

Engineers at Amazon have written a paper describing our experience using TLA+ on large software projects in industry -- e.g. complex web services.

You can find the paper via the TLA+ home page.
The current link is [*]:

   http://research.microsoft.com/en-us/um/people/lamport/tla/amazon.html

regards, 
Chris

[*] The link may change when the paper is published