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
    ExpressLuke GSI
    ExpressLuke GSI
    This SourceForge download page was to
    grant users to download my source built
    GSIs, based upon phhusson's great
    work. I build both Android Pie and
    Android 1...
    Download ExpressLuke GSI
  • 2
    PyQt is the Python bindings for
    Digia's Qt cross-platform
    application development framework. It
    supports Python v2 and v3 and Qt v4 and
    Qt v5. PyQt is avail...
    Download PyQt
  • 3
    Gambas3* coding tools and examples for
    use in SMB or other organizations that
    make internal programs. E.g. from
    database fields to class sourcecode with
    Download garlic3
  • 4
    Sardi is a complete restyling and
    optimisation of svg code. 6 choices for
    your applications and 10 kind of folders
    to use in your file manager. The sardi
    Download Sardi
  • 5
    LMMS Digital Audio Workstation
    LMMS Digital Audio Workstation
    LMMS is a free cross-platform software
    which allows you to produce music with
    your computer. If you like this project
    consider getting involved in the project
    Download LMMS Digital Audio Workstation
  • 6
    FreeRTOS Real Time Kernel (RTOS)
    FreeRTOS Real Time Kernel (RTOS)
    FreeRTOS is a market-leading real-time
    operating system (RTOS) for
    microcontrollers and small
    microprocessors. Distributed freely
    under the MIT open source lice...
    Download FreeRTOS Real Time Kernel (RTOS)
  • 7
    Avogadro is an advanced molecular
    editor designed for cross-platform use
    in computational chemistry, molecular
    modeling, bioinformatics, materials
    science and ...
    Download Avogadro
  • More »

Linux commands