Package: lbt (1.2.2-7) [debports]

[ Source:  ]

Převádí LTL formule na Büchovy automaty

Tento software převádí formule lineární temporální logiky (ltl) na zobecněné Büchovy automaty. Výsledné automaty se dají použít například pro kontrolu modelu, kde automat reprezentuje ověřovanou vlastnost modelu (např. petriho síť).

Other Packages Related to lbt

• dep: libc6 (>= 2.11)

  Knihovna GNU C: Sdílené knihovny
  also a virtual package provided by libc6-udeb

• dep: libgcc-s4 (>= 4.1.1)

  Knihovna pro překladač GCC

• dep: libstdc++6 (>= 5)

  GNU Standard C++ Library v3

• rec: graphviz

  rich set of graph drawing tools

Download lbt

Download for all available architectures

Architecture	Package Size	Installed Size	Files
hppa (unofficial port)	28.6 kB	87.0 kB	[list of files]