TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
-
Updated
Sep 12, 2024 - Java
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
The Official Plugin for ProjectKorra.
This repository is a source code of my master thesis. In my master thesis, I developed a prototype to translate TLA+ expressions to the SMT-LIB language, and to verify safety properties with SMT solvers, IC3-based techniques and user-guided predicate abstraction.
Add a description, image, and links to the tla topic page so that developers can more easily learn about it.
To associate your repository with the tla topic, visit your repo's landing page and select "manage topics."