LTSA

Labelled Transition System Analyser

A verification tool for concurrent systems is referred to as LTSA. It performs an automated check to ensure that the specification of a concurrent system fulfills the requirements placed on its behavior's properties. In addition to this, LTSA provides specification animation, which makes it easier to do interactive research into how a system behaves.

The Labelled Transition System Analyser (LTSA) plugin's Message Sequence Chart (MSC) feature enables graphically altering collections of scenarios to create message sequence charts, which can then be used to visually explain models. As part of an iterative design process, the LTSA may be used to find implied possibilities in the system.

This is an extended version of the LTSA verification tool with a working MSC plugin.

LTSA's official release (Last updated June 2006; Additional Plug-ins are not functional)

Installation

For Windows:

1. Download the Windows release version as a zip.
2. Then unzip and run the "run.cmd" file.
3. This will automatically start the LTSA verification tool.

For Linux (Ubuntu):

1. Download the Linux (Ubuntu) release version as a zip.
2. Then unzip the file.
3. Open terminal from the file dictionary then "sudo ./install.sh" use the command in the terminal.
4. Then from the terminal "./run.sh" use the command or right click on the "run.sh" file then select "Run as a Program", this will automatically start the LTSA verification tool.

If there are issues running the tool in Linux (Ubuntu):

1. Open terminal then "sudo apt update && sudo apt upgrade" use the command in the terminal.
2. Reboot the device.
3. Open terminal from the file dictionary then "sudo ./uninstall.sh" use the command in the terminal.
4. Then again follow the installation instractions for Linux (Ubuntu).

If you are having trouble running the tool, then install Java from the official website.

Plugins

1. MSC
2. Scenebeans
3. Web

Manual

1. Start the LTSA verification tool.
2. Go to the "Help" option in the toolbar.
3. Then select the "Manual" option.

Developer

*** Name: Asif Mahmud
*** Contact Email Address: [email protected]