ltl2ba - Fast translation from LTL formulas to Buchi automata

Property Value
Distribution Mageia 6.1
Repository Mageia Core x86_64
Package name ltl2ba
Package version 1.1
Package release 4.mga6
Package architecture x86_64
Package type rpm
Installed size 100.52 KB
Download size 47.34 KB
Official Mirror
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.1-4.mga6.i586.rpm 1.1 i586 Mageia Core
ltl2ba - - -


Name Value - - -


Name Value
ltl2ba == 1.1-4.mga6
ltl2ba(x86-64) == 1.1-4.mga6


Type URL
Binary Package ltl2ba-1.1-4.mga6.x86_64.rpm
Source Package ltl2ba-1.1-4.mga6.src.rpm

Install Howto

  1. Enable Mageia Core repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install ltl2ba rpm package:
    # urpmi ltl2ba




2016-02-08 - umeabot <umeabot> 1.1-4.mga6
+ Revision: 947493
- Mageia 6 Mass Rebuild
2014-10-15 - umeabot <umeabot> 1.1-3.mga5
+ Revision: 739642
- Second Mageia 5 Mass Rebuild
2014-09-16 - umeabot <umeabot> 1.1-2.mga5
+ Revision: 682019
- Mageia 5 Mass Rebuild
2013-11-17 - malo <malo> 1.1-1.mga4
+ Revision: 551678
- spec clean-up after import from Fedora
- add patch to fix format-security error
- imported package ltl2ba
2013-08-03 - Fedora Release Engineering <> - 1.1-7
- Rebuilt for
2013-02-14 - Fedora Release Engineering <> - 1.1-6
- Rebuilt for

See Also

Package Description
ltrace-0.7.3-7.mga6.x86_64.rpm Track runtime library calls from dynamically linked executables
ltris-1.0.19-5.mga6.x86_64.rpm Nice tetris clone
lttng-ust-2.6.2-1.mga6.x86_64.rpm LTTng Userspace Tracer library
lua-5.2.4-1.mga6.x86_64.rpm Powerful, light-weight programming language
lua-alt-getopt-0.7.0-1.mga6.noarch.rpm Argument processing module for Lua
lua-filesystem-1.6.2-4.mga6.x86_64.rpm FileSystem library for the Lua programming language
lua-graphviz-2.38.0-20.mga6.x86_64.rpm Graphviz bindings for lua
lua-guestfs-1.34.3-2.mga6.x86_64.rpm Lua bindings for libguestfs
lua-lgi-0.8.0-4.mga6.x86_64.rpm Dynamic Lua binding to GObject libraries using GObject-Introspection
lua-logging-1.3.0-4.mga6.noarch.rpm A simple API to use logging features in Lua
lua-lpeg-0.12.2-1.mga6.x86_64.rpm Parsing Expression Grammars for Lua
lua-lunit-0.5-1.mga6.noarch.rpm Unit testing framework for Lua
lua-lxc-2.0.8-1.mga6.x86_64.rpm Lua binding for lxc
lua-moonscript-0.3.2-1.mga6.noarch.rpm A little language that compiles to Lua
lua-plplot-5.12.0-4.mga6.x86_64.rpm PLplot support for Lua