Utilities for the TLA+ ecoystem and model-based testing using TLA+.
Minimalistic Python client for interaction with the Apalache model checker over JSON RPC
Parser and syntax tree for TLA+, the temporal logic of actions
Jupyter kernel for TLA⁺
Python tools for working with TLA+ specifications.
