Home > By category > Developer Tools >Management & Distribution > TLA+ Tools



TLA+ Tools

  • Downloads: 
  • Views: 
  • Rating:

TLA+ Tools is a useful collection of utilities and components that includes a program for typesetting TLA+ specifications, a simulator and model checker addressing a subclass of "executable" TLA+ specifications.

Inside the TLA+ Tools package you can also find a PlusCal to TLA+ translation utility, a syntax checker for TLA+ specifications as well as a parser.

Free download from Shareware Connection - TLA+ Tools is a useful collection of utilities and components that includes a program for typesetting TLA+ specifications, a simulator and model checker addressing a subclass of "executable" TLA+ specifications.

Publisher: Microsoft Research | License: Shareware
Version: 2.1.4 | Platform: Windows 7, WinOther, WinVista
Released Date: | Rating: 0 | Title: TLA+ Tools

Author Url: http://microsoft.com
Program Info Url: http://microsoft.com
Download Url: http://ftp.research.microsoft.com/downloads/41b4a0aa-5fad-4118-916a-45ed9fd48bf0/tla-1.4.4.zip

More downloads from TLA+ Tools publisher Microsoft Research:

JPEG XR Plug-In for Adobe Photoshop - JPEG XR Plug-In for Adobe Photoshop is a useful add-on that was designed to provide you with a means of extending the range of supported formats for your Photoshop installation.

Sora SDK - Sora SDK is a Software Defined Radio platform development toolkit that is especially aimed at those interested in the creation of a wireless platform.

Microsoft Research Accelerator - Microsoft Accelerator was developed to be a high-level data parallel library which uses a DirectX 9 graphics processor (GPU) to accelerate code execution.

Microsoft Research Mood Board - Microsoft Research Mood Board is a useful application that encourages creative activities by providing a simple means of finding images and stitching them together in a collage.

Academic Search - Academic Search WP7 client is a free academic search application based on new technologies from Microsoft Research. It gives users access to more than 36 million publications on multiple academic domains.Features:* Search the Academic Search by...

TLA+ Tools keywords:
TLA+ Tools related downloads:

Microsoft AppLocale - Unicode based platforms, such as Windows XP, emulate the language environment required to run non-Unicode applications by internally converting application's non-Unicode text data to Unicode using a system-wide variable commonly called the system loc

INITools - Tools for parsing and using INI-style files A set of tools for parsing and using .ini-style files, including an abstract parser and several tools built on that parser.

SETL Programming Language Toolkit - A collection of tools for the SETL Programming Language, including a LALR parser generator and lexical scanner generator.

Microsoft SQL Server Data Tools - Microsoft SQL Server Data Tools provides an integrated environment for database developers to carry out all their database design work for any SQL Server platform (both on and off premise) within Visual Studio.

TickInvest - Stock Charting and Technical Analysis - TickInvest is a stock charting and technical analysis software with realtime and eod charts. Features: Trade Simulator, Backtester, Backtest Optimizer, Stock Screener, Alerts, Custom Drawing Tools, Stock Quotes, Extensible Formula Language.

Shareware Connection periodically updates pricing and software information of 'TLA+ Tools' from company source 'Microsoft Research' , so some information may be slightly out-of-date. You should confirm all information before relying on it. Software piracy is theft,  Using 'TLA+ Tools' crack, password, serial numbers, registration codes, key generators is illegal and prevent future development of TLA+ Tools.

New Reviews

SeaMonkey, Portable Edition - Using the Internet has become a necessity for a majority of people, including those who do not use a PC regularly. To browse web, stream video or download online content, people often resort to using various third party apps. For example, using ...

FileStream TurboBackup - Nowadays, data security and backup have become commonplace activity for nearly all PC users. You need to backup precious data either in external media or cloud storage services to evade circumstances like hard disk failure or malware invasion. ...

McAfee AntiVirus Plus - In PC security sector, McAfee is a big name. Along with Symantec, this is one of the contenders catering to the PC users for a long time. However, with time, several new contenders have appeared on horizon and some of them are giving the old ...

WebSite X5 Evolution 10 - Web designing has evolved lot compared to the early days of the internet. You can pick from a number of web design apps and frameworks that take away the pain of manual coding and debugging to a large extent. Even then, it may be necessary to ...

Diver Reviver - It is not only malware and viruses that can affect performance of your computer. Malfunctioning and outdated drivers for hardware components can also affect speed and performance of a PC perceptibly. While seasoned users take the pain of ...

Soft4Boost Slideshow Studio - Nowadays you can record video using a number of devices including smart phones and tablets. However, some people still prefer using still images and music to create slideshows. Slideshows can be created for preserving fond memories digitally with ...

Screenshot Captor - Nowadays, a lot of Windows users need to take screenshots for professional and personal usage needs. It may be required to share an interesting image from web site or part of web pages with friends, making tutorials etc. However, freeware screen ...

Screenpresso Pro - Capturing screenshots and webcam streams can become a necessity at times for PC users. There was a time most users resorted to Windows bundled print screen utility but now there are so many choices to pick from. If you want a feature rich and ...

Norton Zone - With a lot of your data being stored in some cloud service or other, it becomes necessary after a point to zero in on any one service rather than using many at the same time. As it is, major software companies are resorting to cloud based service ...

Reallusion iClone - Nowadays, there is no scarcity of 3D animation and modeling software in market. However, not all such apps are user friendly and easy on wallet. If you want an intuitive and capable tool for making 3D animations without requiring much time, give ...




New Downloads

Bytescout Spreadsheet SDK

Read and write XLS, XLSX from
ASP.NET, .NET, VB, C#, PHP and
other programming languages
without Excel installed! ...

VintaSoft Imaging .NET SDK

VintaSoft Imaging .NET SDK -
an impressive imaging library
for .NET, WPF, WEB. WinForms,
WPF, WebForms controls for
image ...

dbForge Data Compare for
PostgreSQL

dbForge Data Compare for
PostgreSQL is a table data
comparison and synchronization
tool, which allows you to
detect data ...

JCppEdit

JCppEdit is giving you a
unique platform where you can
code many programs into a
single environment, starting
from C, ...

SlimGIS MapKit WebAPI

MapKit WebAPI is a .NET WebAPI
component to help you to
easily build up RESTful
service based application on
Windows; ...

Drag N Drop Notes

This is the program for
creating quick notes. Besides
the usual note-taking, the
program can copy and store the
text from ...

Zeus IDE

A powerful, language generic
IDE. Features include Brief,
Epsilon, Emacs support,
project workspace file
management, ...

SentiGaze SDK

Eye movement tracking with
webcam and PC, no specialized
hardware required. The
technology demo app shows
real-time gaze ...

Icon Extractor

A freeware which can find
icons from your computer. It
can extract icon from exe,
dll, icon file. It allows you
to save ...

ApexSQL Log

ApexSQL Log, SQL Server
Transaction Log reader, lets
you view transaction log data,
audit SQL database changes and
undo ...

JNIWrapper for Solaris
(ultraSPARC)

JNIWrapper library allows to
interface native code while
retaining full control of the
application on the Java side.
With ...

SQL Check

Quickly and easily get up and
running within minutes using
the installation wizard to
guide you through the install
...