- libc6 (>= 2.17)
- libgcc1 (>= 1:3.0)
- libstdc++6 (>= 5)
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).
Installed Size: 90.1 kB
Architectures: amd64 arm64