[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Use of TLA+ at Amazon

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 [*]:



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