EnglishFrenchSpanish

OnWorks favicon

lbt2dot - Online in the Cloud

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

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


lbt - LTL to Büchi Translator

SYNOPSIS


lbt < formula.txt > automaton.txt
lbt2dot < automaton.txt > automaton.dot

DESCRIPTION


This manual page documents briefly the lbt and lbt2dot commands. This manual page was
written for the Debian GNU/Linux distribution because the original program does not have a
manual page. Instead, it has documentation in HTML format; see below.

lbt is a filter that translates a linear temporal logic (LTL) formula to a corresponding
generalized Büchi automaton. The translation is based on the algorithm by Gerth, Peled
and Vardi presented at PSTV'95, Simple on-the-fly automatic verification of linear
temporal logic. Hardly any optimizations are implemented, and the generated automaton is
often bigger than necessary. But on the other hand, it should always be correct.
The filter lbt2dot can be used to translate Büchi automata from the lbt output format to
GraphViz format for visualization.

EXAMPLE


echo G p0 | lbt | lbt2dot | dotty -

Use lbt2dot online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    Crater
    Crater
    Crater is an open-source web &
    mobile invoicing app made especially for
    freelancers and small businesses.
    It's the complete invoicing solution
    you need...
    Download Crater
  • 2
    formkiq-core
    formkiq-core
    FormKiQ Core is an Open Source Document
    Management System (DMS), available to
    run as a headless software or with a
    web-based client, deployed to your
    Amazon We...
    Download formkiq-core
  • 3
    Blackfriday
    Blackfriday
    Blackfriday is a Markdown processor
    implemented in Go. It is paranoid about
    its input (so you can safely feed it
    user-supplied data), it is fast, it
    supports c...
    Download Blackfriday
  • 4
    QNAP NAS GPL Source
    QNAP NAS GPL Source
    GPL source for QNAP Turbo NAS.
    Audience: Developers. User interface:
    Web-based. Programming Language: C,
    Java. Categories:System, Storage,
    Operating System Ker...
    Download QNAP NAS GPL Source
  • 5
    deep-clean
    deep-clean
    A Kotlin script that nukes all build
    caches from Gradle/Android projects.
    Useful when Gradle or the IDE let you
    down. The script has been tested on
    macOS, but ...
    Download deep-clean
  • 6
    Eclipse Checkstyle Plug-in
    Eclipse Checkstyle Plug-in
    The Eclipse Checkstyle plug-in
    integrates the Checkstyle Java code
    auditor into the Eclipse IDE. The
    plug-in provides real-time feedback to
    the user about viol...
    Download Eclipse Checkstyle Plug-in
  • More »

Linux commands

Ad