Trending repositories for language TLA
Dr. TLA+ series - learn an algorithm and protocol, study a specification
Dr. TLA+ series - learn an algorithm and protocol, study a specification
Dr. TLA+ series - learn an algorithm and protocol, study a specification
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
Interactive, web-based environment for exploring TLA+ specifications.
Dr. TLA+ series - learn an algorithm and protocol, study a specification
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
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.
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:
An instructional website with progressively worked examples of TLA+ specifications and model checking.
Specifying and Verfying concensus algorithms in PolarDB using TLA+
A TLA+ specification of the Apache BookKeeper replication protocol
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.
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
Distributed termination detection on a ring, due to Shmuel Safra:
An instructional website with progressively worked examples of TLA+ specifications and model checking.
Dr. TLA+ series - learn an algorithm and protocol, study a specification
Specifying and Verfying concensus algorithms in PolarDB using TLA+
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
A TLA+ specification of the Apache BookKeeper replication protocol
Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF