tlaplus の追跡中のオープンソースリポジトリを、スター数順に表示します。
TLC は、TLA+ で記述された仕様のモデルチェッカーです。TLA+Toolbox は TLA+ 用の IDE です。
さまざまな複雑さを持つTLA⁺仕様のコレクション
