Paquet : mona (1.4-18-1 et autres)

[ Paquet source : mona  ]

démonstration automatique de théorèmes

MONA est un outil pour traduire des formules de logiques WS1S ou WS2S dans des automates avec un nombre fini d'état représentés par des diagrammes de décision binaire (BDD). Les formules peuvent exprimer des modèles de recherche, des propriétés temporelles de systèmes réactifs, des contraintes d’analyse d’arbre, etc. MONA analyse aussi l’automate résultant de la compilation et détermine si la formule est valable ou non, et si elle ne l’est pas, crée un contre-exemple.

La documentation est disponible sur le site web de MONA, http://www.brics.dk/mona/.

Étiquettes: Domaine: Mathématiques, Rôle: Programme, Champ d'application: Utilitaire

Autres paquets associés à mona

• dep: libc6 (>= 2.34)

  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 (>= 11)

  bibliothèque standard C++ de GNU v3

• rec: graphviz

  ensemble complet d'outils pour tracer des graphes

Télécharger mona

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

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
ppc64el	1.4-18-1+b1	325,0 ko	1 929,0 ko	[liste des fichiers]