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.
LTS construction - Build
Analysis functions - Check
Display functions - Window
miscellaneous - Template, Options