FTP Search

Directory (beta)

Content Search (beta)

lbt

converts from LTL formulas to Büchi automata

/Main/Debian/amd64/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-3
Architecture:	amd64
Distribution:	Debian
Filename:	lbt_1.2.2-3_amd64.deb

Browse inside lbt_1.2.2-3_amd64.deb:

pkg://lbt_1.2.2-3_amd64.deb:32412/  info  downloads

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

Download lbt_1.2.2-3_amd64.deb:

2005-03-19  ftp://ftp.linux.it/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.cesca.es/mirror/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.uni-frankfurt.de/pub/Mirrors3/debian.org/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.uni-magdeburg.de/pub/mirror/linux/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://debian.lcs.mit.edu/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.kfki.hu/pub/linux/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.skynet.be/mirror1/debian.org/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.prz.rzeszow.pl/pub/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.3logic.net/.1/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.uic.nnov.ru/pub/Linux/Debian/debian-amd64/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.wustl.edu/pub/linux/distributions/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.nz.debian.org/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.uni-stuttgart.de/pub/mirror/ftp.de.debian.org/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.uni-hannover.de/pub/mirror/linux/debian-mirror/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.port80.se/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.cs.iastate.edu/pub/linux/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.kulnet.kuleuven.ac.be/mirror/ftp.debian.org/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.uni-koeln.de/mirrors/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://130.251.19.2/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.wh2.tu-dresden.de/pub/mirrors/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.mgts.by/pub/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.uni-kassel.de/Mirrors1/ftp.de.debian.org/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://24.215.0.24/Debian/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.rfc822.org/pub/mirror/ftp.debian.org/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.fr.debian.org/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.lf.net/pub/Mirrors/ftp.debian.org/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://sapi.vlsm.org/.1/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.cl.debian.org/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://64.15.134.18/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.ps.pl/dsk0/ftp.debian.org/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.free.fr/.mirrors1/ftp.debian.org/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp13.freebsd.org/pub/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.ankara.edu.tr/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.uni-oldenburg.de/linux/ftp.debian.org/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.fi.debian.org/pub/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.nl.kernel.org/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-18  ftp://ftp.zcu.cz/pub/linux/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.auckland.ac.nz/linux/dists/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.tu-ilmenau.de/Mirrors/ftp.de.debian.org/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.cvut.cz/mirrors/debian.org/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.csie.chu.edu.tw/pub2/Debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://161.53.160.16/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.carnet.hr/misc/.ftp.hr.debian.org/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://193.219.61.67/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.uwa.edu.au/mirrors/linux/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.botik.ru/pub/linux/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.univ-savoie.fr/pub1/ftp.fr.debian.org/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.med.univ-tours.fr/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.psn.ru/pub/Linux/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb
2005-03-19  ftp://ftp.linux.pt/pub/mirrors/debian/pool/main/l/lbt/lbt_1.2.2-3_amd64.deb