FTP Search

Directory (beta)

Content Search (beta)

lbt

converts from LTL formulas to Büchi automata

/Main/Debian/ia64/math/

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

Info:

Homepage:	-
Package version:	1.2.2-1
Architecture:	ia64
Distribution:	Debian
Filename:	lbt_1.2.2-1_ia64.deb

Browse inside lbt_1.2.2-1_ia64.deb:

pkg://lbt_1.2.2-1_ia64.deb:46114/  info  downloads

[DIR]usr/  65535+ twin directories
207 B  2005-01-06prerm  view  604+ mirrors
203 B  2005-01-06postinst  view  486+ mirrors
688 B  2005-01-06md5sums  view  372+ mirrors
558 B  2005-01-06control  view  592+ mirrors

Download lbt_1.2.2-1_ia64.deb:

2004-01-09  ftp://ftp.uni-frankfurt.de/pub/Mirrors3/debian.org/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2004-01-09  ftp://ftp.kfki.hu/pub/linux/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2005-01-07  ftp://ftp.3logic.net/.1/debian-archive/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2004-01-09  ftp://ftp.uni-hannover.de/pub/mirror/linux/debian-mirror/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2004-01-09  ftp://64.15.134.18/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2004-01-08  ftp://ftp.csie.chu.edu.tw/pub2/Debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2004-01-09  ftp://64.50.238.52/.1/debian/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2004-01-09  ftp://64.50.236.52/.1/debian/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2004-01-09  ftp://ftp.tiscali.nl/pub/mirror/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2004-01-09  ftp://147.52.159.12/mirrors/linux/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2004-01-09  ftp://77.88.19.68/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2004-01-09  ftp://ftp.uni-wuppertal.de/pub/linux/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2004-01-09  ftp://200.17.202.1/debian-dists/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2004-01-08  ftp://ftp.lug.udel.edu/pub/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2004-01-09  ftp://200.17.202.16/debian-dists/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2004-01-09  ftp://ftp.udc.es/mirror/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2004-01-09  ftp://sunsite.mff.cuni.cz/MIRRORS/ftp.debian.org/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2005-01-07  ftp://ftp.rz.uni-kiel.de/pub2/linux/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2005-01-07  ftp://ftp.ula.ve/linux/distribuciones/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2005-01-07  ftp://cudlug.cudenver.edu/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2005-01-07  ftp://ftp.hk.debian.org/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2005-01-07  ftp://ftp.uevora.pt/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2005-01-07  ftp://204.152.191.39/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2005-01-07  ftp://ftp.estpak.ee/pub/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2005-01-07  ftp://ftp.uk.debian.org/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2005-01-07  ftp://200.17.202.17/debian-dists/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2005-01-07  ftp://ftp.man.szczecin.pl/pub/Linux/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2005-08-06  ftp://ftp.ncku.edu.tw/Linux/Debian/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2005-01-07  ftp://ftp.u-picardie.fr/pub/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2005-01-07  ftp://ftp.funet.fi/.m/mirrors8/ftp.debian.org/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2005-01-07  ftp://ftp.funet.fi/.m/mirrors3/ftp.debian.org/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2005-01-07  ftp://ftp.gnome.org/cdimage/snapshot/Debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2005-01-07  ftp://ftp.gnome.org/cdimage/.debian-mirror/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2005-01-07  ftp://ftp.ens-cachan.fr/mirror/Debian/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2005-01-07  ftp://ftp.ro.debian.org/pub/mirrors/ftp.debian.org/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2005-01-07  ftp://128.118.2.96/pub/.mirrors/1/ftp.debian.org/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2005-01-07  ftp://ftp.tu-chemnitz.de/.SAN0/pub/linux/debian/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2005-01-07  ftp://ftp.gva.es/mirror/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2005-01-07  ftp://ftp.jp.xemacs.org/pub/linux/debian/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2005-01-07  ftp://ftp.hosteurope.de/mirror/ftp.debian.org/debian-archive/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2005-01-07  ftp://ftp.linorg.usp.br/debian-raiz/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2005-01-06  ftp://ftp.cerias.purdue.edu/pub/os/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2005-08-07  ftp://ftp.nsysu.edu.tw/Linux/Debian/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2005-01-07  ftp://ftp.nerim.net/mirrors/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2005-01-07  ftp://ftp.ticklers.org/ftp.debian.org/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2005-01-07  ftp://ftp.de.freebsd.org/pub/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2005-01-07  ftp://ftp.gmd.de/ftp.debian.org/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2005-01-07  ftp://ftp.tugraz.at/ftp.tu-graz.ac.at/.mirror-sites/ftp.at.debian.org/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2005-01-07  ftp://ftp.debian.de/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb
2005-01-07  ftp://ftp.inf.tu-dresden.de/os/linux/dists/debian/debian/pool/main/l/lbt/lbt_1.2.2-1_ia64.deb