toutes les options
squeeze  ] [  wheezy  ] [  sid  ]
[ Paquet source : mcrl2  ]

Paquet : mcrl2 (201202.0-2 et autres)

Liens pour mcrl2

Screenshot

Ressources Debian :

Télécharger le paquet source mcrl2 :

Responsables :

Ressources externes :

Paquets similaires :

formal specification language toolset

mCRL2 stands for micro Common Representation Language 2. It is a specification language that can be used to specify and analyse the behaviour of distributed systems and protocols and is the successor to muCRL. Using its accompanying toolset, systems can be analysed and verified automatically.

This toolset supports a collection of tools for linearisation, simulation, state-space exploration and generation and tools to optimise and analyse specifications. Moreover, state spaces can be manipulated, visualised and analysed.

Étiquettes: Domaine: Mathématiques, Mis en œuvre en: C++, Interface utilisateur: interface::commandline, interface::x11, Rôle: Programme, Sciences: Modélisation, Champ d'application: scope::suite, uitoolkit::wxwidgets, But: Analyse, Calcul, use::checking, use::measuring, Simulation, Système X Window: Application

Autres paquets associés à mcrl2

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger mcrl2

Télécharger pour toutes les architectures proposées
Architecture Version Taille du paquet Espace occupé une fois installé Fichiers
sparc 201202.0-2+b1 11 526,3 ko34 858,0 ko [liste des fichiers]