|
TLA |
17 |
TLC models for the MongoDB Replication TLA+ specification. |
May 02, 2022 |
|
Python |
76 |
A script for running TLA+/TLC from the command line |
Dec 28, 2022 |
|
Java |
2014 |
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is … |
Apr 24, 2023 |
|
Clojure |
105 |
A Clojure model checker (using the TLA+/TLC engine) |
Apr 14, 2023 |
|
Python |
36 |
A simple REPL for the TLA+ language, using the TLC model checker. |
Mar 22, 2022 |
|
TLA |
4 |
📜 WIP Hop Protocol TLA+ Specification |
Aug 17, 2022 |
|
TLA |
5 |
This repository contains the TLA+ specification of the 1-Update cache coherence protocol that appeared in … |
Feb 08, 2022 |
|
TLA |
7 |
Verifying the correctness of CRDTs using TLA+/PlusCal |
Jul 16, 2022 |
|
TLA |
7 |
Formal models of vac protocols |
Mar 19, 2020 |
|
TLA |
7 |
None |
Jul 02, 2022 |
|
TLA |
8 |
TLA+ Specification of Logless Dynamic Reconfiguration in MongoDB Replication |
Jul 13, 2022 |
|
TLA |
9 |
Distributed termination detection on a ring, due to Shmuel Safra: |
Jun 17, 2022 |
|
TLA |
13 |
A formal specification of snapshot isolation in TLA+. |
Jul 29, 2021 |
|
TLA |
13 |
Specification of Heterogeneous Paxos protocol |
Aug 31, 2022 |
|
TLA |
251 |
None |
Aug 09, 2022 |
|
TLA |
251 |
Source Code for 'Practical TLA+' by Hillel Wayne |
Aug 15, 2022 |
|
TLA |
943 |
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+ |
Aug 08, 2022 |
|
TLA |
19 |
None |
Nov 20, 2022 |
|
TLA |
9 |
None |
May 31, 2022 |
|
TLA |
3 |
None |
Oct 15, 2022 |
|
TLA |
7 |
Azure Cosmos TLA+ specifications |
Mar 23, 2023 |
|
TLA |
220 |
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community |
Apr 22, 2023 |
|
TLA |
741 |
Dr. TLA+ series - learn an algorithm and protocol, study a specification |
Apr 11, 2023 |
|
TLA |
1065 |
A collection of TLA+ specifications of varying complexities |
Apr 24, 2023 |
|
TLA |
3 |
None |
Jan 18, 2023 |
|
TLA |
2 |
Learning TLA+ with "Practical TLA+" by Hillel Wayne |
Apr 09, 2019 |
|
TLA |
15 |
TLA+ specifications of various protocols used by wallets in the nitro protocol. |
Aug 10, 2022 |
|
TLA |
3 |
EDN Operators for TLA+ |
Apr 17, 2023 |
|
TLA |
4 |
Usage example of tla-edn. |
Apr 08, 2021 |
|
TLA |
2 |
lido finance formal specification |
Oct 19, 2021 |
|
TLA |
2 |
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community |
Nov 03, 2020 |
|
TLA |
2 |
TLA+ models for Agoric Swingset Kernel |
Nov 22, 2021 |
|
TLA |
2 |
The TLA+ template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral formal verification environments … |
Feb 04, 2022 |
|
TLA |
2 |
None |
Jan 20, 2019 |
|
TLA |
2 |
None |
Sep 09, 2022 |
|
TLA |
3 |
TiKV TLA+ specifications |
Mar 04, 2022 |
|
TLA |
3 |
None |
Jul 08, 2022 |
|
TLA |
3 |
TLA+ specification of MongoDB replication initial sync. |
Sep 13, 2020 |
|
TLA |
3 |
TLA+ model of some SAFE network stuff |
Feb 02, 2021 |
|
TLA |
15 |
A TLA+ specification for the Xen vchan protocol |
Jul 03, 2022 |
|
TLA |
15 |
TLA+ questions, answers, and experiments |
May 11, 2022 |
|
TLA |
16 |
This repository contains the TLA+ specification of the ownership and the reliable commit protocols for … |
Jun 12, 2022 |
|
TLA |
19 |
A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to … |
Jul 07, 2022 |
|
TLA |
25 |
Different TLA+ specifications, mostly for learning purposes |
Sep 13, 2021 |
|
TLA |
29 |
TLA+ modules, specifications, and models for Radix trees. |
Jun 25, 2022 |
|
TLA |
30 |
Synchronous fault-tolerant distributed algorithms encoded in TLA+ |
Jun 27, 2022 |
|
TLA |
113 |
PGo is a source to source compiler from Modular PlusCal specs into Go programs. |
Apr 08, 2022 |
|
TLA |
6 |
Bazel rules for TLA+ |
May 23, 2021 |
model_checking_on_hedged_cross_chain_transactions
|
TLA |
2 |
None |
May 19, 2021 |
|
TLA |
208 |
Azure Cosmos TLA+ specifications |
Aug 08, 2022 |