Tla Python Packages

modelator-py

Utilities for the TLA+ ecoystem and model-based testing using TLA+.

apalache-rpc-client

Minimalistic Python client for interaction with the Apalache model checker over JSON RPC

tla

Parser and syntax tree for TLA+, the temporal logic of actions

tlaplus-jupyter

Jupyter kernel for TLA⁺

tlapy

Python utilities for working with TLA+ specifications