tlaplus Files

TLC is an explicit state model checker for specifications in TLA+

This is an exact mirror of the tlaplus project, hosted at https://github.com/tlaplus/tlaplus. SourceForge is not affiliated with tlaplus. For more information, see the SourceForge Open Source Mirror Directory.

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
README.md	2022-02-02	874 Bytes	0
The Theano release.tar.gz	2022-02-02	88.0 MB	0
The Theano release.zip	2022-02-02	90.9 MB	0
tla2tools.jar	2022-02-02	2.3 MB	0
Totals: 4 Items		181.1 MB	0

The Theano release is based on the 1.7.1 branch and fixes the following two issues:

Changelog

Contributors

We are grateful for contributions from Calvin Loncaric and Dmitry Kulagin.

Checksums

sha1sum	file
7f21faa2cdae3189e7d5fadb4488f0dfcc658407	tla2tools.jar

Please download the latest TLA+ Toolbox version from https://github.com/tlaplus/tlaplus/releases/tag/v1.7.1#latest-tla-files

Source: README.md, updated 2022-02-02

Other Useful Business Software

Stay in Flow. Let Zenflow Handle the Heavy Lifting.

Your AI engineering control center. Zenflow turns specs into shipped features using parallel agents and multi-repo intelligence.

Zenflow is your engineering control center, turning specs into shipped features. Parallel agents handle coding, testing, and refactoring with real repo context. Multi-agent workflows remove bottlenecks and automate routine work so developers stay focused and in flow.

Try free now

Auth0 for AI Agents now in GA

Ready to implement AI with confidence (without sacrificing security)?

Connect your AI agents to apps and data more securely, give users control over the actions AI agents can perform and the data they can access, and enable human confirmation for critical agent actions.

Start building today

Recommended Projects

Minecraft ToolBox
A handy set of tools and info for Minecraft.
ProxyGenerator
Proxy Generator is a multi-functional Proxy Grabber and Checker
Z Word Tools
Write, check, index and diagram Z specifications in Microsoft Word.
TRAK Viewpoints
Specifications for TRAK architecture views
Abdal Proxy Checker
Proxy Checker

tlaplus Files

TLC is an explicit state model checker for specifications in TLA+

Get an email when there's a new version of tlaplus

Changelog

Contributors

Checksums

Please download the latest TLA+ Toolbox version from https://github.com/tlaplus/tlaplus/releases/tag/v1.7.1#latest-tla-files