Paquet : lbt (1.2.2-7) [debports]

[ Paquet source :  ]

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).

Autres paquets associés à lbt

• dep: libc6 (>= 2.7)

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6-udeb

• dep: libgcc-s1 (>= 3.0)

  bibliothèque de prise en charge de GCC

• dep: libstdc++6 (>= 5)

  bibliothèque standard C++ de GNU v3

• rec: graphviz

  ensemble complet d'outils pour tracer des graphes

Télécharger lbt

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
sparc64 (portage non officiel)	25,9 ko	89,0 ko	[liste des fichiers]