Download LTSA V3.0

The download ZIP file contains the examples and a jar file for the LTSA and for LTL2Buchi.

To install, unzip and read the README file

download ltsa

LTSA V3.0 has the same Scenebeans animation facility as the previous version. To augment the LTSA, download the animation zip file and look at the README file it contains

download animation