EnglishFrenchSpanish

Ad


OnWorks favicon

lts2lps - Online in the Cloud

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

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


lts2lps - translates an LTS into an LPS

SYNOPSIS


lts2lps [OPTION]... [INFILE [OUTFILE]]

DESCRIPTION


Translates an LTS in INFILE and writes the resulting LPS to OUTFILE. If OUTFILE is not
present, standard output is used. If INFILE is not present, standard input is used.

OPTIONS


OPTION can be any of the following:

-DFILE, --data=FILE
use FILE as the data and action specification. FILE must be a .mcrl2 file which
does not contain an init clause.

-lFILE, --lps=FILE
use FILE for the data and action specification. FILE must be a .lps file.

-mFILE, --mcrl2=FILE
use FILE as the data and action specification for the LTS. FILE must be a .mcrl2
file.

--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 lts2lps online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

Linux commands

  • 1
    abidiff
    abidiff
    abidiff - compare ABIs of ELF files
    abidiff compares the Application Binary
    Interfaces (ABI) of two shared libraries
    in ELF format. It emits a meaningful
    repor...
    Run abidiff
  • 2
    abidw
    abidw
    abidw - serialize the ABI of an ELF
    file abidw reads a shared library in ELF
    format and emits an XML representation
    of its ABI to standard output. The
    emitted ...
    Run abidw
  • 3
    cppo
    cppo
    cppo - lightweight cpp-like
    preprocessor for OCaml ...
    Run cppo
  • 4
    cppunit-config
    cppunit-config
    cppunit-config - script to get
    information about the installed version
    of cppunit ...
    Run cppunit-config
  • 5
    fwb_iosacl
    fwb_iosacl
    fwb_ipt - Policy compiler for Cisco IOS
    ACL ...
    Run fwb_iosacl
  • 6
    fwb_ipf
    fwb_ipf
    fwb_ipf - Policy compiler for ipfilter ...
    Run fwb_ipf
  • More »

Ad