lbt 1.2.2-4 (i386 binary) in ubuntu lucid
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-4
- Status:
- Obsolete
- Component:
- universe
- Priority:
- Optional
Downloadable files
i386 build of lbt 1.2.2-4 in ubuntu lucid RELEASE produced
these files:
- lbt_1.2.2-4_i386.deb (30.1 KiB)
Package relationships
- Depends on:
- Recommends:
