This is the command ltsinfo that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator
PROGRAM:
NAME
ltsinfo - display basic information about an LTS
SYNOPSIS
ltsinfo [OPTION]... [INFILE]
DESCRIPTION
Print information about the labelled transition system (LTS) in INFILE. If INFILE is not
supplied, stdin is used.
The format of INFILE is determined by its contents. The option --in can be used to force
the format for INFILE. The supported formats are:
'aut' for the Aldebaran format (CADP),
'dot' for the GraphViz format (no longer supported as input format),
'fsm' for the Finite State Machine format, or
'lts' for the mCRL2 LTS format
OPTIONS
OPTION can be any of the following:
-iFORMAT, --in=FORMAT
use FORMAT as the input format
--timings[=FILE]
append timing measurements to FILE. Measurements are written to standard error if
no FILE is provided
Standard options:
-q, --quiet
do not display warning messages
-v, --verbose
display short intermediate messages
-d, --debug
display detailed intermediate messages
--log-level=LEVEL
display intermediate messages up to and including level
-h, --help
display help information
--version
display version information
Use ltsinfo online using onworks.net services