lbt 1.2.2-ok1 (amd64 binary) in openkylin yangtze
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).
Details
- Package version:
- 1.2.2-ok1
- Status:
- Deleted
- Component:
- main
- Priority:
- Extra
Downloadable files
amd64 build of lbt 1.2.2-ok1 in openkylin yangtze PROPOSED produced
these files:
- lbt_1.2.2-ok1_amd64.deb (26.2 KiB)
