Paquet : maria (1.3.5-4.2 et autres) [debports]

Liens pour maria

Ressources Debian :

Rapports de bogues

Télécharger le paquet source :

Introuvable

Responsables :

Ressources externes :

Page d'accueil [www.tcs.hut.fi]

Paquets similaires :

analyseur d'accessibilité pour les réseaux de systèmes algébriques

Maria est un outil puissant conçu pour aider les ingénieurs à modéliser et résoudre des problèmes liés à la concurrence dans les systèmes de calcul parallèle et distribué.

Maria trouve les impasses et les violations de sécurité ou de besoins de « liveness » en explorant tous les états pouvant être atteints depuis l'état initial du système. L'outil gère des dizaines ou centaines de milliers d'états atteignables et d'actions activées.

La puissance d'expression du formalisme de Maria est proche des langages de programmation de haut niveau grâce à un système de type de données riche et à de puissantes opérations algébriques.

Autres paquets associés à maria

dépendances

recommandations

suggestions

enhances

dep: libc6.1 (>= 2.34)

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6.1-udeb
dep: libreadline8t64 (>= 6.0)

bibliothèques GNU readline et GNU history (exécutables)
dep: libstdc++6 (>= 4.6)

bibliothèque standard C++ de GNU v3

rec: graphviz

ensemble complet d'outils pour tracer des graphes
rec: lbt

Convertit des formules LTL en automates Büchi
rec: maria-doc

documentation of Maria

Télécharger maria

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	1.3.5-4.2+b1	372,2 ko	1 437,0 ko	[liste des fichiers]