Trending repositories for language TLA

A collection of TLA⁺ specifications of varying complexities

A collection of TLA⁺ specifications of varying complexities

A collection of TLA⁺ specifications of varying complexities

A collection of TLA⁺ specifications of varying complexities

A collection of TLA⁺ specifications of varying complexities

Dr. TLA+ series - learn an algorithm and protocol, study a specification

Learn TLA+ for free! No prior experience necessary!

TLA+ specification for the Raft consensus algorithm

TLA+ specifications for Kafka related algorithms

Azure Cosmos TLA+ specifications

No description

TLA+ specifications for Kafka related algorithms

Learn TLA+ for free! No prior experience necessary!

A collection of TLA⁺ specifications of varying complexities

Dr. TLA+ series - learn an algorithm and protocol, study a specification

TLA+ specification for the Raft consensus algorithm

Azure Cosmos TLA+ specifications

No description

A collection of TLA⁺ specifications of varying complexities

TLA+ specification for the Raft consensus algorithm

Learn TLA+ for free! No prior experience necessary!

Dr. TLA+ series - learn an algorithm and protocol, study a specification

Interactive, web-based environment for exploring TLA+ specifications.

writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

PGo is a source to source compiler from Modular PlusCal specs into Go programs.

Azure Cosmos TLA+ specifications

Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!

Source Code for 'Practical TLA+' by Hillel Wayne

No description

TLA+ specifications for Kafka related algorithms

Pluscal/TLA+ modeling of distributed systems/protocols

Distributed termination detection on a ring, due to Shmuel Safra:

TLA+ specifications for Raft and variants

A TLA+ specification of the Apache BookKeeper replication protocol

An instructional website with progressively worked examples of TLA+ specifications and model checking.

Specifying and Verfying concensus algorithms in PolarDB using TLA+

Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF

Interactive, web-based environment for exploring TLA+ specifications.

TLA+ specifications for Kafka related algorithms

Learn TLA+ for free! No prior experience necessary!

TLA+ specification for the Raft consensus algorithm

PGo is a source to source compiler from Modular PlusCal specs into Go programs.

Distributed termination detection on a ring, due to Shmuel Safra:

Pluscal/TLA+ modeling of distributed systems/protocols

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

TLA+ specifications for Raft and variants

A collection of TLA⁺ specifications of varying complexities

An instructional website with progressively worked examples of TLA+ specifications and model checking.

Azure Cosmos TLA+ specifications

Dr. TLA+ series - learn an algorithm and protocol, study a specification

Source Code for 'Practical TLA+' by Hillel Wayne

A TLA+ specification of the Apache BookKeeper replication protocol

No description

Specifying and Verfying concensus algorithms in PolarDB using TLA+

writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!

Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF