lbt binary package in Ubuntu Noble ppc64el
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 ppc64el | release | universe | math | Optional | 1.2.2-7 | ||
|