tlaplus
★ 3,200tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
HYSEN LABS DIRECTORY
tlaplus
Verified repositories, classifications and analysis from the tlaplus organization.
2 curated open-source projects
tlaplus
★ 1,602Examples
A collection of TLA⁺ specifications of varying complexities.