Linux temps réel embarqué et outils de développements Technique


lbt converts from LTL formulas to Büchi automata
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).

©M.N.I.S Société | Produits | Services | Formations | Support | Partenariat | Presse | Téléchargements ©M.N.I.S