![](/statics/img/blank.png)
The PEP tool 2.0b
Licence: Gratuit Taille du fichier: N/A
Note des utilisateurs: 5.0/5 - 1 Votes
Veuillez patienter... Votre lien de téléchargement est en cours de vérification pour le contenu malveillant.
Vous pourrez télécharger en 5 secondes.
Vous pourrez télécharger en 5 secondes.
Sur The PEP tool
Pep est un cadre de modélisation et de vérification pour les systèmes parallèles, fournissant un grand nombre de langues de modélisation et de techniques de vérification différentes (p. ex. SDL, filets Petri et vérification des modèles)