tlaplus Repositories

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

Last commit Jan 15, 2024

(2,153 stars) (179 forks) (33 indexed issues) (33 open good first issues)