all options
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ Source: lbt  ]

Package: lbt (1.2.2-4)

Links for lbt

Screenshot

Debian Resources:

Download Source Package lbt:

Maintainer:

External Resources:

Similar packages:

Convierte fórmulas LTL a autómatas de Büchi

Este programa convierte una fórmula de lógica lineal temporal (ltl) a un autómata generalizado de Büchi. El autómata resultante se puede usar, por ejemplo, en comprobación de modelos, donde representa una propiedad que debe verificar un modelo (p. ej. una red de Petri).

Tags: Field: Mathematics, User Interface: Command Line, Role: Program, Scope: Utility, Purpose: Data Conversion

Other Packages Related to lbt

  • depends
  • recommends
  • suggests
  • enhances

Download lbt

Download for all available architectures
Architecture Package Size Installed Size Files
powerpc 32.3 kB144.0 kB [list of files]