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

Liens pour mona

Ressources Debian :

Télécharger le paquet source mona :

Responsables :

Ressources externes :

Page d'accueil [www.brics.dk]

Paquets similaires :

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

dépendances

recommandations

suggestions

enhances

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
amd64	1.4-18-1+b1	317,1 ko	1 394,0 ko	[liste des fichiers]