Paquet : mcrl2 (201409.0-1 et autres)

Liens pour mcrl2

Ressources Debian :

Télécharger le paquet source mcrl2 :

Responsables :

Sjoerd Cranen (Page QA)
Paul van Tilburg (Page QA)

Ressources externes :

Page d'accueil [www.mcrl2.org]

Paquets similaires :

boîte à outils pour le langage de spécification formel

mCRL2 signifie micro Common Representation Language 2. C’est un langage de spécifications pouvant être utilisé pour spécifier et analyser le comportement de systèmes distribués et de protocoles, et est le successeur de muCRL. En utilisant sa boîte à outils, les systèmes peuvent être analysés et vérifiés automatiquement.

Cette boîte à outils prend en charge une collection d’outils pour la linéarisation, la simulation, l’exploration et la génération de représentations d’états et des outils pour optimiser et analyser des spécifications. De plus, les représentations d’état peuvent être manipulées, visualisées et analysées.

Étiquettes: Boîte à outils d'interface utilisateur: Qt, wxWidgets

Autres paquets associés à mcrl2

dépendances

recommandations

suggestions

enhances

dep: libc6 (>= 2.14) [amd64]

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb

dep: libc6 (>= 2.17) [arm64]

dep: libc6 (>= 2.3) [i386]

dep: libc6 (>= 2.4) [armhf]
dep: libgcc1 (>= 1:3.0) [arm64]

bibliothèque de prise en charge de GCC

dep: libgcc1 (>= 1:3.4) [amd64, i386]

dep: libgcc1 (>= 1:3.5) [armhf]
dep: libgl1

bibliothèque de transport GL indépendante du fournisseur – prise en charge de l’ancienne GL
dep: libgl2ps1.4

Lib providing high quality vector output for OpenGL application
dep: libglu1-mesa

bibliothèque utilitaire Mesa OpenGL (GLU)

ou libglu1

paquet virtuel fourni par libglu1-mesa
dep: libqt4-opengl (>= 4:4.5.3)

Qt 4 OpenGL module
dep: libqt4-xml (>= 4:4.5.3)

Qt 4 XML module
dep: libqtcore4 (>= 4:4.8.0)

module de base de QT 4
dep: libqtgui4 (>= 4:4.8.0)

module Qt 4 d'interface graphique
dep: libstdc++6 (>= 5.2)

bibliothèque standard C++ de GNU v3

Télécharger mcrl2

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	201409.0-1+b2	7 302,5 ko	41 872,0 ko	[liste des fichiers]
arm64	201409.0-1+b2	6 638,1 ko	40 384,0 ko	[liste des fichiers]
armhf	201409.0-1+b2	6 137,8 ko	28 190,0 ko	[liste des fichiers]
i386	201409.0-1+b2	7 580,3 ko	42 003,0 ko	[liste des fichiers]