User manual

It is the hope of the designers of LTSA that this manual should be largely unnecessary. In most cases, the user simply has to enter a specification in the FSP window and invoke one of the analysis functions from the Check menu. LTSA will perform the necessary compilation, LTS composition and minimisation.


LTSA Window

LTS construction - Build

Analysis functions - Check

Display functions - Window

miscellaneous - Template, Options