|
|
Linux temps réel embarqué et outils de développements
|
Technique |
|
lbt
lbt | converts from LTL formulas to Büchi automata | Priority | |
Section | math |
Installed size | 122 |
Maintainer | Ralf Treinen <treinen@debian.org> |
Architecture | i386 |
Version | 1.2.2-3 |
Depends | libc6 (>= 2.3.2.ds1-21), libgcc1 (>= 1 |
Suggests | mutt | mutt-ja, procmail, finger, abook, libpalm-perl, libnet-ldap-perl |
File name | pool/main/l/lbt/lbt_1.2.2-3_i386.deb |
Description | 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). |
|
|