# TLA+ Specification Examples

**Canonical:** https://apis.io/apis/tla-plus-foundation/tlaplus-examples/  
**Provider:** TLA Plus Foundation — https://apis.io/providers/tla-plus-foundation/  
**Documentation:** https://github.com/tlaplus/Examples

TLA+ Specification Examples is one of 6 APIs that [TLA Plus Foundation](https://apis.io/providers/tla-plus-foundation/) publishes on the [APIs.io](https://apis.io/) network. Tagged areas include Examples, Specifications, and Learning. The published artifact set on APIs.io includes API documentation and a GitHub repository.

A collection of TLA+ specifications of varying complexity covering distributed algorithms, consensus protocols, concurrent data structures, and system models. Includes reference implementations for learning and validation.

## Machine-readable artifacts (2)

- **Documentation** — https://github.com/tlaplus/Examples
- **GitHubRepository** — https://github.com/tlaplus/Examples

## Other TLA Plus Foundation APIs (5)

- [TLC Model Checker](https://apis.io/apis/tla-plus-foundation/tlc-model-checker/)
- [TLAPS Proof System](https://apis.io/apis/tla-plus-foundation/tlaps-proof-system/)
- [TLA+ Toolbox IDE](https://apis.io/apis/tla-plus-foundation/tla-toolbox-ide/)
- [TLA+ VS Code Extension](https://apis.io/apis/tla-plus-foundation/vscode-tlaplus/)
- [TLA+ Community Modules](https://apis.io/apis/tla-plus-foundation/community-modules/)

## Tags

Examples, Specifications, Learning

---

Profiled by [API Evangelist](https://apievangelist.com) and published on [APIs.io](https://apis.io/apis/tla-plus-foundation/tlaplus-examples/). The API's provider profile, Kin Score and agent-readiness rating are at https://apis.io/providers/tla-plus-foundation/.