toutes les options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Paquet source : lbt  ]

Paquet : lbt (1.2.2-7)

Liens pour lbt

Screenshot

Ressources Debian :

Télécharger le paquet source lbt :

Responsables :

Ressources externes :

Paquets similaires :

Convertit des formules LTL en automates Büchi

Ce logiciel convertit une formule logique temporelle linéaire (ltl) en un automate de Büchi. L'automate résultant peut être utilisé, par exemple, pour vérifier un modèle où il représente une propriété du modèle à vérifier (par exemple un réseau de Petri).

Étiquettes: Domaine: Mathématiques, Interface utilisateur: Ligne de commande, Rôle: role::program, scope::utility, But: Conversion de données

Autres paquets associés à lbt

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger lbt

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
ppc64el 31,2 ko168,0 ko [liste des fichiers]