Pacote: lbt (1.2.2-7) [debports]

[ Fonte:  ]

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

Outros pacotes relacionados a lbt

• dep: libc6 (>= 2.11)

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

• dep: libgcc-s4 (>= 4.1.1)

  Biblioteca de suporte GCC

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

  Biblioteca C++ padrão da GNU v3

• rec: graphviz

  Rico conjunto de ferramentas de desenho de grafos

Download de lbt

Baixe para todas as arquiteturas disponíveis

Arquitetura	Tamanho do pacote	Tamanho instalado	Arquivos
hppa (porte não oficial)	28.6 kB	87.0 kB	[lista de arquivos]