Interchange
Perl
DBI
MySQL
Home
Projekte
Login
Interchange
Debian
Links
AGB
Kontakt
Wiki
Stichwortsuche
ALSA
Apache
CD
CPAN
ClamAV
DAV
DBI
DNS
DVD
Debian
Drupal
Emacs
Exim
FTP
Firefox
GNOME
HTTP
Hattrick
IMAP
IRC
Interchange
Java
JavaScript
KDE
LDAP
MIME
Mozilla
MySQL
Nagios
PHP
Perl
PostgreSQL
Python
RT
Ruby
SMTP
SOAP
SSH
SSL
Samba
TLS
Tomcat
XML
XSL
erp
Paketsuche
Debianpakete
appconfig
cgi-extratags-perl
ciphersaber
courier
courier
courier-authlib
dbix-easy-perl
debaux
interchange
interchange-doc
jfsutils
libmime-lite-html-perl
libtext-mediawikiformat-perl
libtie-shadowhash-perl
pure-ftpd
pure-ftpd
safe-hole-perl
set-crontab-perl
Kunden/Partner
B&N
Box of Rain
COBOLT NetServices
ecoservice
Gish Network
IIP/IR Vienna
Informa
L & D Computer
LinSoft IT
M & D
materialboerse.de
Media Business Software
Medical Business Solutions
Net Stores
NextCall
RUEB
Tenalt
Transfair-Net GmbH
Ulisses
WebHostNY.com
Wegacell
West Branch Angler
Wintime IT Solutions
lbt: converts from LTL formulas to Büchi automata
Distribution
Debian unstable
Abteilung
math
Quelle
lbt
Version
1.2.2-4
Maintainer
Ralf Treinen
<
treinen@debian.org
>
Beschreibung
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).
Abhängig von
libc6
(>= 2.3),
libgcc1
(>= 1:4.1.1),
libstdc++6
(>= 4.1.1)
Recommends
graphviz
Offizielle Seiten
Paket
Entwicklerinformationen
Bugs (Binärpaket)
Bugs (Quellpaket)
Download
amd64
Projekte
Marktplatz für Musikinstrumente und Zubehör
Mehr erfahren ...
Marktplatz für elektronische Bauelemente
Mehr erfahren ...
Systemadministration für Internetagentur
Mehr erfahren ...
Foreign Service National Training Database
Mehr erfahren ...
Reengineering e-procurement System
Mehr erfahren ...
