Paquet : maria (1.3.5-4.2 et autres)
Liens pour maria
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source maria :
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
|
|
|
|
-
- dep: libc6 (>= 2.34) [non alpha, ia64, sh4]
- bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
- dep: libc6 (>= 2.37) [sh4]
-
- dep: libc6.1 (>= 2.34) [alpha]
- bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6.1-udeb
- dep: libc6.1 (>= 2.37) [ia64]
-
- dep: libgcc-s1 (>= 3.0) [sparc64]
- bibliothèque de prise en charge de GCC
- dep: libgcc-s1 (>= 3.5) [armel, armhf]
- dep: libgcc-s1 (>= 4.2) [ia64]
- dep: libgcc-s1 (>= 4.3) [riscv64]
-
- dep: libncurses6 (>= 6) [sparc64]
- Bibliothèques partagées pour l'utilisation d'un terminal
-
- 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
-
- dep: libtinfo6 (>= 6) [sparc64]
- bibliothèque partagée terminfo de bas niveau pour manipuler le terminal
Télécharger maria
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] |
amd64 | 1.3.5-4.2+b1 | 387,8 ko | 1 160,0 ko | [liste des fichiers] |
arm64 | 1.3.5-4.2+b1 | 339,2 ko | 1 180,0 ko | [liste des fichiers] |
armel | 1.3.5-4.2+b1 | 302,1 ko | 1 015,0 ko | [liste des fichiers] |
armhf | 1.3.5-4.2+b1 | 313,0 ko | 747,0 ko | [liste des fichiers] |
hppa (portage non officiel) | 1.3.5-4.2+b1 | 341,0 ko | 1 118,0 ko | [liste des fichiers] |
i386 | 1.3.5-4.2+b1 | 408,4 ko | 1 346,0 ko | [liste des fichiers] |
ia64 (portage non officiel) | 1.3.5-4.2+b1 | 445,0 ko | 2 446,0 ko | [liste des fichiers] |
m68k (portage non officiel) | 1.3.5-4.2+b1 | 246,9 ko | 922,0 ko | [liste des fichiers] |
mips64el | 1.3.5-4.2+b1 | 329,0 ko | 1 395,0 ko | [liste des fichiers] |
ppc64 (portage non officiel) | 1.3.5-4.2+b1 | 388,8 ko | 1 694,0 ko | [liste des fichiers] |
ppc64el | 1.3.5-4.2+b1 | 393,1 ko | 1 500,0 ko | [liste des fichiers] |
riscv64 | 1.3.5-4.2+b1 | 380,5 ko | 992,0 ko | [liste des fichiers] |
s390x | 1.3.5-4.2+b1 | 395,1 ko | 1 316,0 ko | [liste des fichiers] |
sh4 (portage non officiel) | 1.3.5-4.2+b1 | 322,4 ko | 858,0 ko | [liste des fichiers] |
sparc64 (portage non officiel) | 1.3.5-4.2+b1 | 299,8 ko | 1 185,0 ko | [liste des fichiers] |
x32 (portage non officiel) | 1.3.5-4.2+b1 | 377,0 ko | 1 107,0 ko | [liste des fichiers] |