#
Starred repositories
7
stars
written in TLA
Clear filter
A collection of TLA⁺ specifications of varying complexities.
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!
Specifying and Verfying concensus algorithms in PolarDB using TLA+