The page TLA Examples is a library of TLA specifications for distributed algorithms. The webpage supplies the TLA community with:
- A comprehensive library of the TLA specifications that are available today, in order to provide an overview of how to specify an algorithm in TLA .
- A comprehensive list of references and other interesting information for each problem.
Do you have your own case study that you like to share with the community? Send a pointer to us and we will include it in the repository. Your specifications will help the community in improving the tools for TLA analysis.
The repository is under the MIT license. However, we can upload your benchmarks under your license.
Do you have any questions? Please contact Thanh-Hai Tran.