Software · Development

TLA+ Toolbox

TLA+ Toolbox is an IDE (integrated development environment) for the TLA+ tools.

Completely free
Linux
Open source

Overview

TLA+ Toolbox is a code editor, available on Linux.

Overview written by LicitPro from the documentation published by the authors and the cited sources; we have not tried the resource ourselves.

Excerpts that establish this information

“TLA+ Toolbox is an IDE (integrated development environment) for the TLA+ tools” — Flathub, 10 November 2026

At a glance

TLA+ Toolbox is completely free: it is open source software, and every feature is available without paying or subscribing.

Its licence (MIT) is a permissive open source licence: use, modification and redistribution are allowed, including in commercial projects.

Strengths

Open source code
Commercial use allowed

About

TLA+ is a high-level language for modeling programs and systems. It is useful for eliminating fundamental design errors, which are hard to find and expensive to correct in code. The TLA Toolbox is an IDE (integrated development environment) for the TLA+ tools. Use it to: Create and edit your specs, with the locations of parsing errors marked in the modules Run the PlusCal translator, with the locations of translation errors marked in the PlusCal code View the pretty-printed versions of your modules Run the TLC model checker. The Toolbox allows you to explorer an error trace produced by TLC—for example, by evaluating arbitrary formulas at each step in the trace Run the TLA+ proof system

Description from Flathub — AppStream (Flathub)

Sources and checks

Facts collected from Flathub (credit card, publisher, licence, free status, platforms, commercial use, version) — 9 November 2026
Last technical check: 9 November 2026
Description from Flathub — AppStream (Flathub)

How listings are built →

Do you develop TLA+ Toolbox?

Correct this listing with the report form, or cite it with this optional badge (it shows the verified free status and changes nothing in the ranking):

<a href="https://licitpro.fr/en/resource/tla-toolbox"><img src="https://licitpro.fr/badge/tla-toolbox.svg?l=en" alt="Listed on LicitPro" height="20"></a>

Developers and publishers →