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

  • 1
    fre:ac - free audio converter
    fre:ac - free audio converter
    fre:ac is a free audio converter and CD
    ripper for various formats and encoders.
    It features MP3, MP4/M4A, WMA, Ogg
    Vorbis, FLAC, AAC, and Bonk format
    support, ...
    Download fre:ac - free audio converter
  • 2
    Matplotlib
    Matplotlib
    Matplotlib is a comprehensive library
    for creating static, animated, and
    interactive visualizations in Python.
    Matplotlib makes easy things easy and
    hard thing...
    Download Matplotlib
  • 3
    BotMan
    BotMan
    Write your chatbot logic once and
    connect it to one of the available
    messaging services, including Amazon
    Alexa, Facebook Messenger, Slack,
    Telegram or even yo...
    Download BotMan
  • 4
    Joplin
    Joplin
    Joplin is a free and open source
    note-taking and to-do application that
    can handle a large number of notes in
    Markdown format, organize them into
    notebooks and...
    Download Joplin
  • 5
    gerbv  a Gerber (RS-274X) viewer
    gerbv � a Gerber (RS-274X) viewer
    Gerbv is an open source Gerber file
    (RS-274X only) viewer. Gerbv lets you
    load several files on top of each other,
    do measurements on the displayed image,
    etc. ...
    Download gerbv � a Gerber (RS-274X) viewer
  • 6
    Iometer
    Iometer
    I/O performance Analysis Tool.
    Audience: Developers, Information
    Technology, Science/Research, System
    Administrators. User interface: Win32
    (MS Windows). Progr...
    Download Iometer
  • More »

Linux commands

Ad