Lists (20)
Stars
6
stars
written in TLA
Clear filter
A collection of TLA⁺ specifications of varying complexities.
TLA+ specification for the Raft consensus algorithm
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
Learn TLA+ for free! No prior experience necessary!
An instructional website with progressively worked examples of TLA+ specifications and model checking.