tla

We have hosted the application tla in order to run this application in our online workstations with Wine or directly.

Quick description about tla:

The Project includes the TLA Language Package that defines the TLA+ language for VS 2005 IDE and the TLA Integration Package that adds menus in the VS 2005 IDE and assigns different functionalities to them.

Audience: Developers, Education, Information Technology, Quality Engineers, Science/Research.
User interface: .NET/Mono, Plugins, Win32 (MS Windows).
Programming Language: C#.

.