Package: lbt (1.2.2-6)

[ Source: lbt  ]

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íť).

Tags: Field: Mathematics, User Interface: Command Line, Role: role::program, scope::utility, Purpose: Data Conversion

Other Packages Related to lbt

• dep: libc6 (>= 2.14) [amd64]

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

  dep: libc6 (>= 2.17) [arm64]

  dep: libc6 (>= 2.7) [armhf, i386]

• dep: libgcc1 (>= 1:3.0)

  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
amd64	30.4 kB	96.0 kB	[list of files]
arm64	27.1 kB	88.0 kB	[list of files]
armhf	27.1 kB	70.0 kB	[list of files]
i386	31.8 kB	98.0 kB	[list of files]