Paquet : lbt (1.2.2-7)

[ Paquet source : lbt  ]

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

• dep: libc6 (>= 2.14) [amd64]

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

  dep: libc6 (>= 2.17) [arm64, ppc64el]

  dep: libc6 (>= 2.7) [non amd64, arm64, ppc64el]

• 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
amd64	29,9 ko	100,0 ko	[liste des fichiers]
arm64	28,7 ko	88,0 ko	[liste des fichiers]
armel	26,0 ko	82,0 ko	[liste des fichiers]
armhf	26,3 ko	66,0 ko	[liste des fichiers]
i386	31,0 ko	102,0 ko	[liste des fichiers]
mips64el	28,5 ko	97,0 ko	[liste des fichiers]
mipsel	28,2 ko	90,0 ko	[liste des fichiers]
ppc64el	31,2 ko	168,0 ko	[liste des fichiers]
s390x	28,0 ko	96,0 ko	[liste des fichiers]