toutes les options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Paquet source : maria  ]

Paquet : maria (1.3.5-4.2 et autres)

Liens pour maria

Screenshot

Ressources Debian :

Télécharger le paquet source maria :

Responsables :

Ressources externes :

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.

Étiquettes: Développement de logiciel: Tests et assurance qualité, Domaine: Mathématiques, Interface utilisateur: interface::commandline, interface::text-mode, Rôle: Programme, Champ d'application: Utilitaire, Boîte à outils d'interface utilisateur: Interface utilisateur texte ncurses

Autres paquets associés à maria

  • dépendances
  • recommandations
  • suggestions
  • enhances

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 ko1 437,0 ko [liste des fichiers]
amd64 1.3.5-4.2+b1 387,8 ko1 160,0 ko [liste des fichiers]
arm64 1.3.5-4.2+b1 339,2 ko1 180,0 ko [liste des fichiers]
armel 1.3.5-4.2+b1 302,1 ko1 015,0 ko [liste des fichiers]
armhf 1.3.5-4.2+b1 313,0 ko747,0 ko [liste des fichiers]
hppa (portage non officiel) 1.3.5-4.2+b1 341,0 ko1 118,0 ko [liste des fichiers]
i386 1.3.5-4.2+b1 408,4 ko1 346,0 ko [liste des fichiers]
ia64 (portage non officiel) 1.3.5-4.2+b1 445,0 ko2 446,0 ko [liste des fichiers]
m68k (portage non officiel) 1.3.5-4.2+b1 246,9 ko922,0 ko [liste des fichiers]
mips64el 1.3.5-4.2+b1 329,0 ko1 395,0 ko [liste des fichiers]
ppc64 (portage non officiel) 1.3.5-4.2+b1 388,8 ko1 694,0 ko [liste des fichiers]
ppc64el 1.3.5-4.2+b1 393,1 ko1 500,0 ko [liste des fichiers]
riscv64 1.3.5-4.2+b1 380,5 ko992,0 ko [liste des fichiers]
s390x 1.3.5-4.2+b1 395,1 ko1 316,0 ko [liste des fichiers]
sh4 (portage non officiel) 1.3.5-4.2+b1 322,4 ko858,0 ko [liste des fichiers]
sparc64 (portage non officiel) 1.3.5-4.2+b1 299,8 ko1 185,0 ko [liste des fichiers]
x32 (portage non officiel) 1.3.5-4.2+b1 377,0 ko1 107,0 ko [liste des fichiers]