Package: lbt (1.2.2-6)

[ Source: lbt  ]

convertitore di formule LTL in automi di Büchi

Questo software converte una formula logica temporale lineare (ltl) in un automa di Büchi generalizzato. L'automa risultante si può usare, per esempio, nel controllo di modelli, dove rappresenta una proprietà che debba essere verificata da un modello (per esempio una rete di Petri).

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

Other Packages Related to lbt

• dep: libc6 (>= 2.17)

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6-udeb

• dep: libgcc1 (>= 1:3.0)

  libreria di supporto a GCC

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

  libreria GNU Standard C++, versione 3

• rec: graphviz

  ricco insieme di strumenti per il disegno di grafi

Download lbt

Download for all available architectures

Architecture	Package Size	Installed Size	Files
arm64	27.1 kB	88.0 kB	[list of files]