tlaplus
Here are 122 public repositories matching this topic...
Translation of the book Specifying Systems to Chinese.
-
Updated
Dec 31, 2020 - CSS
Bully election algorithm model written in TLA+ and PlusCal
-
Updated
Dec 29, 2021 - TLA
Chinese translation of hyperbook by Leslie Lamport on TLA+
-
Updated
Mar 21, 2020 - TeX
Examples of efficiently using Apalache
-
Updated
Jul 17, 2025 - TLA
Liveness checking state machines without storing execution traces
-
Updated
May 7, 2021 - OCaml
tla++ proofs and verifications
-
Updated
Aug 20, 2021 - TLA
The Dutch national flag problem is a partitioning problem proposed and solved by E. Dijkstra in the 1970s. The problem is solved in +CAL in TLA.
-
Updated
Oct 23, 2018 - TLA
TLA+ Specification for Ambry
-
Updated
Apr 25, 2024 - Shell
Temporal Logic of Actions in Rust via Starlark
-
Updated
Oct 30, 2023 - Starlark
TLA+ Specification of Raft Consensus Algorithm
-
Updated
Jul 1, 2022 - TLA
Improve this page
Add a description, image, and links to the tlaplus topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the tlaplus topic, visit your repo's landing page and select "manage topics."