lbt binary package in Ubuntu Focal riscv64
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 | ||
|---|---|---|---|---|---|---|---|---|---|
| 2020-04-03 08:58:18 UTC | Published | Ubuntu Focal riscv64 | release | universe | math | Optional | 1.2.2-6 | ||
|
|||||||||
