[ 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

Name

ltsaexp - explore fsp specification using ltsa

Synopsis

ltsaexp [ -c composite ] file
ltsaexp -l file

Description

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.

Bugs

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
http://www-dse.doc.ic.ac.uk/concurrency/

Contact

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

Version

This manual page documents version 3.9.0 of torx.

Table of Contents

Name
Synopsis
Description
Bugs
See Also
Contact
Version

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