tlaplus
★ 0
updated 2y ago
⑂ fork
TLC is a 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.