| Paketname | lbt |
| Beschreibung | converts from LTL formulas to Büchi automata |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 1.2.2-4 |
| Sektion | math |
| Priorität | optional |
| Installierte Größe | 140 Byte |
| Hängt ab von | libc6 (>= 2.3), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.1.1) |
| Empfohlene Pakete | graphviz |
| Paketbetreuer | Ralf Treinen |
| Quelle | |
| Paketgröße | 31506 Byte |
| Prüfsumme MD5 | 31d4a5cc201246c8183393ec2de00b0c |
| Prüfsumme SHA1 | 8bce6abec47122dff71ea437296c3ad51b3977f2 |
| Prüfsumme SHA256 | f3d036a3aadaf01e07cdeef1d5edbf83dca0726f856c7237a23b0c0f3f778094 |
| 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).
|