[ Home | What's New | Contents | Overview | Contributors | Distribution | Examples | Documentation | Manual | Publications | Mailing List Archive | Problems ] This page was last updated by Axel Belinfante on 2003-08-05
TorX Test Tool Information
Prev   Next

ltsaexp(1) - explore fsp specification using ltsa

Table of Contents


ltsaexp - explore fsp specification using ltsa


ltsaexp [ -c composite ] file
ltsaexp -l file


ltsaexp implements a (non-symbolic) explorer for the language fsp, using the tool ltsa. It reads the fsp specification from the given file, and then offers the TorX explorer-primer interface on standard input and output, to ``lazily'' explore it.

By default ltsaexp explores the ``DEFAULT'' composite process. When invoked with the -l flag, ltsaexp reports the names of the composite processes that are present in file and exits. With the -c composite flag, ltsaexp will explore the composite process named composite in file, if present, or report an error and exit.


The environment variable TORX_ROOT is not supported.

See Also

torx-intro(1), torx-explorer(5), environ(5)
Jeff Magee and Jeff Kramer, Concurrency : State Models & Java Programs, John Wiley & Sons Ltd, 1999


By Email: <torx_support@cs.utwente.nl>


This manual page documents version 3.9.0 of torx.

Table of Contents

Prev Table of Contents Next
Appendix D: TorX Manual Pages: log2primer(1) - generate torx-primer commands from TorX log file Valid HTML 4.01! Appendix D: TorX Manual Pages: m4mkprimer(1) - preprocess input with m4 before invoking mkprimer