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.