Erfasste Open-Source-Repos von tlaplus, sortiert nach Sternen.
TLC ist ein Modellprüfer für in TLA+ geschriebene Spezifikationen. Die TLA+ Toolbox ist eine IDE für TLA+.
Eine Sammlung von TLA⁺-Spezifikationen unterschiedlicher Komplexität.
