lbt binary package in Ubuntu Focal armhf
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 | ||
---|---|---|---|---|---|---|---|---|---|
2019-10-18 09:15:30 UTC | Published | Ubuntu Focal armhf | release | universe | math | Optional | 1.2.2-6 | ||
|