lbt
converts from LTL formulas to Büchi automata
Command lineScience
Not tested on a device yet. What that means
Commands in the package
lbtlbt2dot
About lbt
From Debian's package description
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).
From Debian's description of the lbt package, under that package's license.
Dependencies
Depends on
libc6libstdc++6
Recommends
Related apps
ChemtoolThe molecules drawing program (2D)- EasyChem Chemical Structures EditorCreate high-quality chemical formulas
- monatheorem prover based on automataCommand line
- cod-toolstools for manipulating CIF format filesCommand line
- fomaTools for constructing various finite-state automataCommand line
- hdf5-toolsHDF5 - Runtime toolsCommand line
Sources and licenses
- Name: the Debian package name.
- Summary: Debian's short description of the lbt package, under that package's license.
- Description: Debian's description of the lbt package, under that package's license.
- Versions and sizes: Debian's archive for ARM64, as on packages.debian.org.
- Popularity: Debian Popularity Contest counts.
More in About the catalog.