TLA+ Toolbox
by TLA+ Foundation
TLA+ Toolbox is an IDE (integrated development environment) for the TLA+ tools
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
Permissions
2 permissions weaken the sandbox. Flatsonar asks before installing.
- X11 display: X11 lets apps read input and windows of other apps
--socket=x11 - full access to your home folder
--filesystem=home - network
--share=network - inter-process communication (needed for X11)
--share=ipc - Wayland display
--socket=wayland - audio
--socket=pulseaudio - X11 display, only when Wayland is unavailable
--socket=fallback-x11 - GPU acceleration
--device=dri
Who publishes this
On Flathub: the manifest was reviewed and built on Flathub's infrastructure, but the developer has not verified ownership of the app id.
- installs a prebuilt binary instead of building from source
source:prebuilt - on Flathub: manifest reviewed and built by Flathub; the developer has not verified the app id
publisher:flathub
Maintenance
Recent activity on the upstream repository, or built and reviewed by Flathub.
No staleness signals: recent activity, or built and reviewed by Flathub.