lbt - converts from LTL formulas to Büchi automata

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main amd64
Package name lbt
Package version 1.2.2
Package release 5
Package architecture amd64
Package type deb
Installed size 136 B
Download size 33.42 KB
Official Mirror
This software converts a linear temporal logic (ltl) formula to a
generalised Büchi automaton. The resulting automaton may be used, for
instance, in model checking, where it represents a property to be
verified from a model (e.g. a Petri net).


Package Version Architecture Repository
lbt_1.2.2-5_i386.deb 1.2.2 i386 Debian Main
lbt - - -


Name Value
libc6 >= 2.7
libgcc1 >= 1:4.1.1
libstdc++6 >= 4.1.1


Type URL
Binary Package lbt_1.2.2-5_amd64.deb
Source Package lbt

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install lbt deb package:
    # sudo apt-get install lbt




2011-05-13 - Ralf Treinen <>
lbt (1.2.2-5) unstable; urgency=low
* debian-control:
- set Maintainer to debian-science
- set Section to science
- set Prioriy to extra
- Standards-Version 3.9.2 (no change)
- add Dependency on ${misc:Depends}
* migrate to source format 3.0 (quilt)
* rename debian/dirs to debian/lbt.dirs
* manpage for lbt2dot is symlink to lbt.1 
* simplify call to dh_installchangelogs
2009-08-30 - Ralf Treinen <>
lbt (1.2.2-4) unstable; urgency=low
* debian/lbt.doc-base: Change field descriptor "Authors" to "Author"
(closes: Bug#466458).
* debian/rules: do not ignore errors of "make clean".
* Standards-Version 3.8.3 
* debian/control: added Homepage field.
* debhelper compatibility level 7.
- debian/rules: dh_clean -k => dh_prep
* debian/copyright:
- add a proper copyright notice.
- point to GPL-2 file instead file of just GPL file.
* Changed doc-base section to Science/Mathematics
2005-08-03 - Ralf Treinen <>
lbt (1.2.2-3) unstable; urgency=low
* Compile with -O3 instad of -O2 on m68 to work around a gcc-4.0 bug on
m68k (closes: Bug#320691).
* Compile with "-O0" when "noopt" is in DEB_BUILD_OPTIONS.
2005-07-06 - Ralf Treinen <>
lbt (1.2.2-2) unstable; urgency=low
* Standards-version 3.6.2 (no change).
* Debhelper compatibility 4, put into file debian/compat.
* Recommends graphiz (instead of Suggests)
* Rebuild with gcc 4.
2005-01-07 - Ralf Treinen <>
lbt (1.2.2-1) unstable; urgency=low
* New upstream release
* Add debian/watch file
* Short description starts on lowercase letter
* Use dh_installchangelogs to install upstream changelog
2003-09-07 - Ralf Treinen <>
lbt (1.2.1-2) unstable; urgency=low
* Standards-Version
* Converted debian/{changelog,copyright,control,lbt.doc-base} to UTF-8
characer encoding
* Fixed a spelling error in short description (Buechi)
* removed empty file debian/docs
2002-10-04 - Ralf Treinen <>
lbt (1.2.1-1) unstable; urgency=low
* First upload to unstable (closes: Bug#146321).
* Added Marko Mäkelä and Heikki Tauriainen to the list of upstream authors.
* lbt.doc-base: changed author of doc to Marko Mäkelä.
2002-08-06 - Ralf Treinen <>
lbt (1.2.1-0.alpha) experimental; urgency=low
* Initial Release.

See Also

Package Description
lbzip2_2.5-1_amd64.deb fast, multi-threaded bzip2 utility
lcab_1.0b12-7_amd64.deb create cabinet (.cab) archives
lcalc_1.23+dfsg-3_amd64.deb program for calculating with L-functions
lcas-interface_1.3.19-2_all.deb Local Centre Authorization Service API
lcas-lcmaps-gt4-interface_0.3.0-2_amd64.deb Mapping interface between Globus Toolkit and LCAS/LCMAPS
lcd4linux_0.11.0~svn1200-3_amd64.deb Grabs information and displays it on an external lcd
lcdf-typetools_2.104~dfsg-1_amd64.deb tools for OpenType, multiple-master, and Type 1 fonts
lcdproc-extra-drivers_0.5.7-2_amd64.deb extra drivers for the LCD display driver daemon
lcdproc_0.5.7-2_amd64.deb LCD display driver daemon and clients
lcl-1.2.4_1.2.4+dfsg2-1_amd64.deb Lazarus Components Library - LCL suite
lcl-gtk2-1.2.4_1.2.4+dfsg2-1_amd64.deb Lazarus Components Library - GTK+ backend
lcl-gtk2_1.2.4+dfsg2-1_all.deb Lazarus Components Library - GTK+ backend dependency package
lcl-nogui-1.2.4_1.2.4+dfsg2-1_amd64.deb Lazarus Components Library - no GUI backend
lcl-nogui_1.2.4+dfsg2-1_all.deb Lazarus Components Library - no GUI backend dependency package
lcl-qt4-1.2.4_1.2.4+dfsg2-1_amd64.deb Lazarus Components Library - Qt backend