EnglishFrenchSpanish

Ad


OnWorks favicon

lts2pbes - Online in the Cloud

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

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


lts2pbes - translates an LTS into an PBES

SYNOPSIS


lts2pbes [OPTION]... [INFILE [OUTFILE]]

DESCRIPTION


Translates an LTS in INFILE and writes the resulting PBES 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.

-fFILE, --formula=FILE
use the state formula from FILE

-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.

-oFORMAT, --out=FORMAT
use output format FORMAT: 'pbes' PBES in internal format 'pbes_text' PBES in
internal textual format 'text' PBES in textual (mCRL2) 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 lts2pbes online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    XMLTV
    XMLTV
    XMLTV is a set of programs to process
    TV (tvguide) listings and help manage
    your TV viewing, storing listings in an
    XML-based format. There are utilities to
    do...
    Download XMLTV
  • 2
    strikr
    strikr
    Strikr Free Software project. Artifacts
    released under a 'intent based'
    dual license: AGPLv3 (community) and
    CC-BY-NC-ND 4.0 international
    (commercial)...
    Download strikr
  • 4
    GIFLIB
    GIFLIB
    giflib is a library for reading and
    writing gif images. It is API and ABI
    compatible with libungif which was in
    wide use while the LZW compression
    algorithm was...
    Download GIFLIB
  • 5
    Alt-F
    Alt-F
    Alt-F provides a free and open source
    alternative firmware for the DLINK
    DNS-320/320L/321/323/325/327L and
    DNR-322L. Alt-F has Samba and NFS;
    supports ext2/3/4...
    Download Alt-F
  • 6
    usm
    usm
    Usm is a unified slackware package
    manager that handles automatic
    dependency resolution. It unifies
    various package repositories including
    slackware, slacky, p...
    Download usm
  • More »

Linux commands

Ad