TLA Toolbox: Linux 64-bit

An integrated development environment for writing and checking TLA+ specifications.

Details

TypeDownload
File NameTLAToolbox-1.4.5-linux.gtk.x86_64.zip
Version1.4.5
Date Published28 February 2013
Download Size48.87 MB

Note By installing, copying, or otherwise using this software, you agree to be bound by the terms of its license. Read the license.