MyNixOS website logo
Description

IDE for the TLA+ tools.

Integrated development environment for the TLA+ tools, based on Eclipse. You can use it to create and edit your specs, run the PlusCal translator, view the pretty-printed versions of your modules, run the TLC model checker, and run TLAPS, the TLA+ proof system.

Metadata

Version

1.7.1

License

Executables (1)

  • bin/tla-toolbox

Platforms (1)

    Linux
Show all
  • x86_64-linux