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