Paquet : maria (1.3.5-6) [debports]

[ Paquet source :  ]

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

• dep: libc6 (>= 2.38)

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6-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	Taille du paquet	Espace occupé une fois installé	Fichiers
sparc64 (portage non officiel)	278,3 ko	1 205,0 ko	[liste des fichiers]