Pacote: lbt (1.2.2-7 e outros)

[ Fonte: lbt  ]

converts from LTL formulas to Büchi automata

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

Etiquetas: Campo: Matemática, Interface de usuário(a): Linha de comando, Função: role::program, scope::utility, Propósito: Conversão de dados

Outros pacotes relacionados a lbt

• dep: libc6 (>= 2.11) [hppa]

  GNU Biblioteca C: Bibliotecas compartilhadas
  também um pacote virtual fornecido por libc6-udeb

  dep: libc6 (>= 2.14) [amd64]

  dep: libc6 (>= 2.16) [x32]

  dep: libc6 (>= 2.17) [ppc64el]

  dep: libc6 (>= 2.30) [sh4]

  dep: libc6 (>= 2.34) [riscv64]

  dep: libc6 (>= 2.36) [loong64]

  dep: libc6 (>= 2.38) [arm64]

  dep: libc6 (>= 2.7) [armel, armhf, i386, m68k, mips64el, ppc64, s390x, sparc64]

• dep: libc6.1 (>= 2.30) [ia64]

  GNU Biblioteca C: Bibliotecas compartilhadas
  também um pacote virtual fornecido por libc6.1-udeb

  dep: libc6.1 (>= 2.7) [alpha]

• dep: libgcc-s1 (>= 3.0) [loong64, sh4, sparc64]

  Biblioteca de suporte GCC

• dep: libgcc-s2 (>= 4.2.1) [m68k]

  Biblioteca de suporte GCC

• dep: libgcc-s4 (>= 4.1.1) [hppa]

  Biblioteca de suporte GCC

• dep: libstdc++6 (>= 11) [arm64, loong64, riscv64]

  Biblioteca C++ padrão da GNU v3

  dep: libstdc++6 (>= 5) [não arm64, loong64, riscv64]

• rec: graphviz

  Rico conjunto de ferramentas de desenho de grafos

Download de lbt

Baixe para todas as arquiteturas disponíveis

Arquitetura	Versão	Tamanho do pacote	Tamanho instalado	Arquivos
alpha (porte não oficial)	1.2.2-7	30.0 kB	104.0 kB	[lista de arquivos]
amd64	1.2.2-7	29.9 kB	100.0 kB	[lista de arquivos]
arm64	1.2.2-7+b1	31.6 kB	169.0 kB	[lista de arquivos]
armel	1.2.2-7	26.0 kB	82.0 kB	[lista de arquivos]
armhf	1.2.2-7	26.3 kB	66.0 kB	[lista de arquivos]
hppa (porte não oficial)	1.2.2-7	28.6 kB	87.0 kB	[lista de arquivos]
i386	1.2.2-7	31.0 kB	102.0 kB	[lista de arquivos]
ia64 (porte não oficial)	1.2.2-7	35.7 kB	136.0 kB	[lista de arquivos]
loong64 (porte não oficial)	1.2.2-7	29.2 kB	104.0 kB	[lista de arquivos]
m68k (porte não oficial)	1.2.2-7	25.3 kB	86.0 kB	[lista de arquivos]
mips64el	1.2.2-7	28.5 kB	97.0 kB	[lista de arquivos]
ppc64 (porte não oficial)	1.2.2-7	31.2 kB	168.0 kB	[lista de arquivos]
ppc64el	1.2.2-7	31.2 kB	168.0 kB	[lista de arquivos]
riscv64	1.2.2-7+b1	30.8 kB	89.0 kB	[lista de arquivos]
s390x	1.2.2-7	28.0 kB	96.0 kB	[lista de arquivos]
sh4 (porte não oficial)	1.2.2-7	28.5 kB	70.0 kB	[lista de arquivos]
sparc64 (porte não oficial)	1.2.2-7	25.9 kB	89.0 kB	[lista de arquivos]
x32 (porte não oficial)	1.2.2-7	29.8 kB	94.0 kB	[lista de arquivos]