tlaplus
★ 0
updated 5y ago
⑂ fork
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
No plain-English explanation yet — one is being written right now. Check back in a minute.