lbt binary package in Ubuntu Noble s390x
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).
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2023-10-23 22:30:24 UTC | Published | Ubuntu Noble s390x | release | universe | math | Optional | 1.2.2-7 | ||
|