LTSA VERSION 2.2

This version requires that you have installed JRE 1.3.0 or later
although it may work with earlier releases.

To run this version edit ltsa.bat to reflect the location of 
your JRE and the directory where you have unzipped ltsa2.2


The command in ltsa.bat is:


"C:\Program Files\JavaSoft\JRE\1.3\bin\javaw.exe" -Xmx128m  -jar C:\ltsa2.2\lib\ltsa.jar


The option -Xmx128m allows the JVM a maximum of 128 Megabytes.


The ltsa2.2\lib directory contains two icon files:

ltsfile.ico   -- this can be associated with .lts files using the Windows folder view/options menu.

ltsa1.ico     -- this can be associated with a shortcut executing the above command.


FEATURES 

v2.1

1) On the fly safety and progress analysis allowing complete analysis of much larger state spaces.

2) Approximate safety analysis using Holtzmann's SuperTrace algorithm for larger state spaces.

3) Animation examples (use the Check\Run menu).

v2.2

4) Limit of 2**63 on maximum potential statespace removed

5) Partial Order Reduction during analysis and composition 
   (reduction with respect to interleaving of hidden actions,
    so to be effective, hide all action except those in the property
    being checked).
    