Lists (1)
Stars
4
stars
written in TLA
Clear filter
A collection of TLA⁺ specifications of varying complexities.
TLA+ specification for the Raft consensus algorithm
Source Code for 'Practical TLA+' by Hillel Wayne
Pluscal/TLA+ modeling of distributed systems/protocols