Package: lbt (1.2.2-7) [debports]

Links for lbt

Debian Resources:

Bug Reports

Download Source Package :

Not found

Maintainers:

External Resources:

Homepage [www.tcs.hut.fi]

Similar packages:

mona
libcoq-reglang
mapsembler2
libz3-dev
dvb-tools
libjs-asciimathml
libz3-4
z3
frama-c-base
tcm
cafeobj

convertitore di formule LTL in automi di Büchi

Questo software converte una formula logica temporale lineare (ltl) in un automa di Büchi generalizzato. L'automa risultante si può usare, per esempio, nel controllo di modelli, dove rappresenta una proprietà che debba essere verificata da un modello (per esempio una rete di Petri).

Other Packages Related to lbt

depends

recommends

suggests

enhances

dep: libc6.1 (>= 2.7)

Libreria C GNU: librerie condivise
also a virtual package provided by libc6.1-udeb
dep: libstdc++6 (>= 5)

libreria GNU Standard C++, versione 3

rec: graphviz

ricco insieme di strumenti per il disegno di grafi

Download lbt

Download for all available architectures
Architecture	Package Size	Installed Size	Files
alpha (unofficial port)	30.0 kB	104.0 kB	[list of files]