ltl2ba - Fast translation from LTL formulas to Buchi automata

Property Value
Distribution Mageia 7
Repository Mageia Core i586
Package filename ltl2ba-1.2-0.b1.2.mga7.i586.rpm
Package name ltl2ba
Package version 1.2
Package release 0.b1.2.mga7
Package architecture i586
Package type rpm
Category Sciences/Computer science
License GPLv2+
Maintainer -
Download size 39.86 KB
Installed size 79.68 KB
Translate from Linear temporal logic (LTL) formulas to Buchi automata.
LTL is a type of formal logic that extends formal logic with
qualifiers involving time.
A Buchi automaton is the extension of a finite state automaton
to infinite inputs, and are useful for specifying behavior
of non-terminating systems (such as hardware or operating systems).
A Buchi automaton accepts an infinite input sequence if and only if
there exists a run of the automaton which visits at least one of the
final states infinitely often.
The implementation is based on the translation algorithm by Gastin and Oddoux,
presented at the CAV Conference, held in 2001, Paris, France 2001.


Package Version Architecture Repository
ltl2ba-1.2-0.b1.2.mga7.x86_64.rpm 1.2 x86_64 Mageia Core
ltl2ba - - -


Name Value -


Name Value
ltl2ba = 1.2-0.b1.2.mga7
ltl2ba(x86-32) = 1.2-0.b1.2.mga7


Type URL
Binary Package ltl2ba-1.2-0.b1.2.mga7.i586.rpm
Source Package ltl2ba-1.2-0.b1.2.mga7.src.rpm

Install Howto

  1. Enable the repository in Software Management
  2. Install ltl2ba rpm package:
    # dnf install ltl2ba




2018-09-23 - umeabot <umeabot> 1.2-0.b1.2.mga7
(not released yet)
+ Revision: 1299362
- Mageia 7 Mass Rebuild
2018-04-04 - kekepower <kekepower> 1.2-0.b1.1.mga7
+ Revision: 1215161
- Update to version 1.2b1
2017-08-30 - daviddavid <daviddavid> 1.1-5.mga7
+ Revision: 1148540
- honor user CFLAGS thus fixing empty debugsourcefiles.list

See Also

Package Description
ltrace-0.7.3-8.mga7.i586.rpm Track runtime library calls from dynamically linked executables
ltris-1.0.19-7.mga7.i586.rpm Nice tetris clone
lttng-ust-2.6.2-3.mga7.i586.rpm LTTng Userspace Tracer library
lua-5.2.4-3.mga7.i586.rpm Powerful, light-weight programming language
lua-alt-getopt-0.7.0-2.mga7.noarch.rpm Argument processing module for Lua
lua-filesystem- FileSystem library for the Lua programming language
lua-graphviz-2.40.1-17.mga7.i586.rpm Graphviz bindings for lua
lua-guestfs-1.38.6-4.mga7.i586.rpm Lua bindings for libguestfs
lua-lgi-0.9.2-3.mga7.i586.rpm Dynamic Lua binding to GObject libraries using GObject-Introspection
lua-logging-1.3.0-5.mga7.noarch.rpm A simple API to use logging features in Lua
lua-lpeg-1.0.1-5.mga7.i586.rpm Parsing Expression Grammars for Lua
lua-lunit-0.5-2.mga7.noarch.rpm Unit testing framework for Lua
lua-lxc-2.0.9-5.mga7.i586.rpm Lua binding for lxc
lua-moonscript-0.5.0-1.mga7.noarch.rpm A little language that compiles to Lua
lua-mpack-1.0.7-2.mga7.i586.rpm Implementation of MessagePack for Lua