tlapy (pypi): Python tools for working with TLA+ specifications.
Keywords: formal-methods|specification|tla|tlaplus|utilities