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.
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
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...
Jadx
Setup Builder
EXECryptor
QSetup Installation Suite
WTM CD Protect
Professional Licence Manager
ShareGuard Copy Protection
Software Planner
ActiveX Windows NT/2000 group and account UserManager
CodeDepot
Easy Pocket PC Installer
Code-Lock
Visual Patch
Logic Protect EXE Creator
C & C++
Components & Libraries
Databases & Networks
Delphi
Development Kits
Editors, IDEs & Coding Utilities
Help File Tools
Installation Builders
Integration Tools
Java
JavaScript
Languages - Others
Macro Schedulers
Management & Distribution
Copy Tools Css
Tools Cvs
Pc Tools Cygnus
Tools Daemon
Tools Cl Daemon
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.
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 ...

