OnWorks favicon

ltscompare - Online in the Cloud

Run ltscompare in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

This is the command ltscompare 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



ltscompare - compare two LTSs


ltscompare [OPTION]... [INFILE1] INFILE2


Determine whether or not the labelled transition systems (LTSs) in INFILE1 and INFILE2 are
related by some equivalence or preorder. If INFILE1 is not supplied, stdin is used.

The input formats are determined by the contents of INFILE1 and INFILE2. Options --in1
and --in2 can be used to force the input format of INFILE1 and INFILE2, respectively. 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


OPTION can be any of the following:

-c, --counter-example
generate counter example traces if the input lts's are not equivalent

-eNAME), --equivalence=NAME)
use equivalence NAME (not allowed in combination with -p/--preorder): 'none'
identity equivalence (default) 'bisim' strong bisimilarity 'branching-bisim'
branching bisimilarity 'dpbranching-bisim' divergence preserving branching
bisimilarity 'weak-bisim' weak bisimilarity 'dpweak-bisim' divergence preserving
weak bisimilarity 'sim' strong simulation equivalence 'trace' strong trace
equivalence 'weak-trace' weak trace equivalence

use FORMAT as the format for INFILE1 (or stdin)

use FORMAT as the format for INFILE2

-pNAME, --preorder=NAME
use preorder NAME (not allowed in combination with -e/--equivalence): 'unknown'
unknown preorder (default) 'sim' strong simulation preorder 'trace' strong trace
preorder 'weak-trace' weak trace preorder

consider actions with a name in the comma separated list ACTNAMES to be internal
(tau) actions in addition to those defined as such by the input

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

display intermediate messages up to and including level

-h, --help
display help information

display version information

Use ltscompare online using onworks.net services

Free Servers & Workstations

Download Windows & Linux apps

  • 1
    TurkDevOps a�?k kaynak yaz?l?m
    geli?tirici topluluklar? DevTurks-Team
    Taraf?ndan desteklenmektedir..
    Download turkdevops
  • 2
    *asammdf* is a fast Python parser and
    editor for ASAM (Associtation for
    Standardisation of Automation and
    Measuring Systems) MDF / MF4
    (Measurement Data Format...
    Download asammdf
  • 3
    LAME (Lame Aint an MP3 Encoder)
    LAME (Lame Aint an MP3 Encoder)
    LAME is an educational tool to be used
    for learning about MP3 encoding. The
    goal of the LAME project is to improve
    the psycho acoustics, quality and speed
    of MP...
    Download LAME (Lame Aint an MP3 Encoder)
  • 4
    A set of Python extension modules that
    wrap the cross-platform GUI classes from
    wxWidgets.. Audience: Developers. User
    interface: X Window System (X11), Win32 ...
    Download wxPython
  • 5
    This is the Total War pack file manager
    project, starting from version 1.7. A
    short introduction into Warscape
    modding: ...
    Download packfilemanager
  • 6
    A network traffic tool for measuring
    TCP and UDP performance with metrics
    around both throughput and latency. The
    goals include maintaining an active
    iperf cod...
    Download IPerf2
  • More »

Linux commands