Package: lbt (1.2.2-7)

[ Source: lbt  ]

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: role::program, scope::utility, Purpose: Data Conversion

Other Packages Related to lbt

• dep: libc6 (>= 2.7)

  Biblioteca de C de GNU: Bibliotecas compartidas
  also a virtual package provided by libc6-udeb

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

  biblioteca estándar de C++ de GNU v3

• rec: graphviz

  rich set of graph drawing tools

Download lbt

Download for all available architectures

Architecture	Package Size	Installed Size	Files
armhf	26.3 kB	66.0 kB	[list of files]