tlacli (pypi): A wrapper script for running TLA+ from the command line
Keywords: formal-methods|tlaplus|tlc