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
p2repository.zip	2024-08-08	350.5 MB	0
tla2tools.jar	2024-08-08	2.3 MB	0
TLAToolbox-1.7.4-linux.gtk.x86_64.zip	2024-08-08	185.7 MB	0
TLAToolbox-1.7.4-win32.win32.x86_64.zip	2024-08-08	182.3 MB	0
TLAToolbox-1.7.4.deb	2024-08-08	182.2 MB	0
README.md	2024-08-08	646 Bytes	0
The Xenophanes release source code.tar.gz	2024-08-08	73.0 MB	0
The Xenophanes release source code.zip	2024-08-08	75.9 MB	0
TLAToolbox-1.7.4-macosx.cocoa.x86_64.zip	2024-08-08	178.6 MB	0
Totals: 9 Items		1.2 GB	0

The Xenophanes release is based on the 1.7.4 branch and fixes the issue below.

Changelog

Running liveness checking with multiple workers can cause unsoundness: TLC fails to report a violation of a property

Checksums

sha1sum	file
10b011fa0b31bc58d771f6b4cd9dd30b446d6d9d	TLAToolbox-1.7.4-win32.win32.x86_64.zip
447d22a3986fe56b749ad8475b7cdabb2567d053	TLAToolbox-1.7.4-linux.gtk.x86_64.zip
TBD	macOS
bee4a54f3ee3d4afc347c3240ec2d9e93b075104	tla2tools.jar

Source: README.md, updated 2024-08-08

Other Useful Business Software

Auth0 for AI Agents now in GA Icon

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

Stay in Flow. Let Zenflow Handle the Heavy Lifting. Icon

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

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