Utilities for the TLA+ ecoystem and model-based testing using TLA+.
cli
utility
utilities
command-line
modeling
model-checking
command-line-tool
tla
tlc
tlaplus
apalache
-
Updated
Nov 18, 2022 - Python