tlaplusToolbox

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.

Name

tla-toolbox

Main Program

tla-toolbox

Programs

• tla-toolbox

Homepage

• http://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html

Version

1.7.1

License

• MIT License

Platforms

• x86_64-linux

Defined

Source