tlaplus

Andrew Wilkins (axw) Publisher

Install latest/stable of tlaplus

This channel hasn't been updated in a while. It might be unmaintained and have stability or security issues.

Ubuntu 16.04 or later?

Make sure snap support is enabled in your Desktop store.

Install using the command line

sudo snap install tlaplus

Don't have snapd? Get set up for snaps.

Channel	Version	Published

Details for tlaplus

Package name

tlaplus

License

Last updated

17 May 2017 - latest/stable
17 May 2017 - latest/candidate

This snap hasn't been updated in a while. It might be unmaintained and have stability or security issues.

Share this snap

Generate an embeddable card to be shared on external websites.

Customise your embeddable card using the options below.

Snap Store button:

Dark Light Hide button

Options:

Show all channels Show summary Show screenshot

Preview:

The TLA Toolbox is an IDE for the TLA+ tools.

The TLA Toolbox is an IDE (integrated development environment) for the TLA+ tools. You can 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. You do this by creating one or more models, which specify the information TLC needs to check the spec: what the spec is, what properties to check, the values to substitute for constant parameters, etc. Among the features the Toolbox provides is an error trace viewer and explorer that allows you to:
- Explore a structured view of the states.
- See exactly what parts of the state are changed in each step.
- Evaluate arbitrary state and action formulas at each step in the trace.
Run TLAPS, the TLA+ proof system.

Select architecture

Revision	Channel	Version	Published	Build	Commit	Download SBOM

The build and commit information is derived from build infrastructure records.

Install tlaplus on your Linux distribution

Choose your Linux distribution to get detailed installation instructions. If yours is not shown, get more details on the installing snapd documentation.