tlaplus
Here are 115 public repositories matching this topic...
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
Chinese translation of hyperbook by Leslie Lamport on TLA+
-
Updated
Mar 21, 2020 - TeX
-
Updated
Dec 6, 2019 - TLA
Some examples and notes while learning TLA+ modeling language.
-
Updated
Jun 27, 2021
-
Updated
Feb 7, 2019 - TLA
Liveness checking state machines without storing execution traces
-
Updated
May 7, 2021 - OCaml
Formalization of the (VIS, AR) Specification Framework for Both Transactional and Non-Transactional Consistency Models
-
Updated
May 8, 2023 - TeX
tla++ proofs and verifications
-
Updated
Aug 20, 2021 - TLA
Generate (message) sequence diagrams from TLA+ state traces
-
Updated
Feb 5, 2023 - Python
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."