Trending
See what the GitHub community is most excited about today.
-
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
-
A collection of TLA+ specifications of varying complexities
-
Dr. TLA+ series
-
TLA+ specification for the Raft consensus algorithm
-
-
-
-
Pluscal/TLA+ modeling of distributed systems/protocols
-
TLA+ specification of FPaxos
-
TLA+ Spec of a simplified part of MongoDB replication system
-
A collection of useful TLA+ operators
-
Miscellaneous TLA+ specifications
-
TLA+ specification of the Kafka replication protocol
-
TLA+ specification for the Raft consensus algorithm
-
Tests with PlusCal / TLA+
-
-
TLA+ description for the CAS-Paxos algorithm
-
TLA+ specification for the Raft consensus algorithm (with Pre-Vote)
-
A formal specification of snapshot isolation in TLA+.
-
-
Source files from an evaluation of the Runway formal specification system as it compares to TLA+
-
This is the example model described in the paper S. Resch and M. Paulitsch, "Using TLA+ in the Development of a Safety-Critical Fault-Tolerant Middleware," 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Toulouse, France, 2017, pp. 146-152.
-
-
A TLA+ formalization of the algorithm described in "Paxos Made Simple"
-
TLA+ specification for the Raft consensus algorithm
