TLA Plus Foundation

TLA+ Specification Examples

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.

GitHub

Documentation

📖
Documentation
https://github.com/tlaplus/Examples

SDKs

📦
GitHubRepository
https://github.com/tlaplus/Examples

API entry from apis.yml

apis.yml Raw ↑ 
aid: tla-plus-foundation:tlaplus-examples
name: TLA+ Specification Examples
description: 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.
humanURL: https://github.com/tlaplus/Examples
tags:
- Examples
- Specifications
- Learning
properties:
- type: Documentation
  url: https://github.com/tlaplus/Examples
- type: GitHubRepository
  url: https://github.com/tlaplus/Examples