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

konverterer fra LTL-formler til Büchi-automata

Dette program konverterer en lineær temporal logik-formel (ltl) til en generaliseret Büchi-automat. Den resulterende automat kan bruges, for eksempel, i modelkontrol, hvor den repræsenterer en egenskab, som skal verificeres fra en model (f.eks. et Petri-net).

Other Packages Related to lbt

depends

recommends

suggests

enhances

dep: libc6 (>= 2.7)

GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
dep: libgcc-s1 (>= 3.0)

GCC støttebibliotek
dep: libstdc++6 (>= 5)

GNU Standard C++ bibliotek v3

rec: graphviz

Rigt sæt af graftegneværktøjer

Download lbt

Download for all available architectures
Architecture	Package Size	Installed Size	Files
sparc64 (unofficial port)	25.9 kB	89.0 kB	[list of files]