lbt binary package in Ubuntu Trusty 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 | ||
---|---|---|---|---|---|---|---|---|---|
2014-02-19 04:33:49 UTC | Published | Ubuntu Trusty ppc64el | release | universe | math | Optional | 1.2.2-5 | ||
|