リポジトリ

tlaplus のリポジトリ

1 件の対応リポジトリ

tlaplus/tlaplusJava

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

最終コミット 2024年1月15日

 (2,153 stars) (179 forks) (33 件の索引済み issue) (33 件のオープンな good first issue)