| Paketname | lbt |
| Beschreibung | converts from LTL formulas to Büchi automata |
| Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
| Version | 1.2.2-4 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 140 Byte |
| Hängt ab von | libc6 (>= 2.7), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.1.1) |
| Empfohlene Pakete | graphviz |
| Paketbetreuer | Ubuntu Developers |
| Quelle | |
| Paketgröße | 30866 Byte |
| Prüfsumme MD5 | 04d3a6d8cdf183abb6ec855b9db8712d |
| Prüfsumme SHA1 | e83cf291f56ae7ea3c4de53d8c9a555a17157ddf |
| Prüfsumme SHA256 | 8ae685f17049b57f71e46cfb3035a937b2535725777bda33c076f67908ca4cae |
| Link zum Herunterladen | lbt_1.2.2-4_i386.deb |
| Ausführliche Beschreibung | 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).
|