Xspin: vérification de spécification
lili
-
hh -
hh -
bonjour,
je voudrais utiliser xspin (la version graphique de spin) pour valider des spécifications promela. J'ai télécharger la version online mais le problème est que je n'arrive pas à l'installer (quel repertoire utiliser, comment configrer).
merci d'avance
je voudrais utiliser xspin (la version graphique de spin) pour valider des spécifications promela. J'ai télécharger la version online mais le problème est que je n'arrive pas à l'installer (quel repertoire utiliser, comment configrer).
merci d'avance
2 réponses
Bonsoir lili,
j'ai même problème que vous, est-ce vous arrivez à trouver la solution???
Si vous aver la réponse, aidez moi SVP
si quelqu'un d'autre a la réponse merci de m'aider
Bonne nuit et merci d'avance
j'ai même problème que vous, est-ce vous arrivez à trouver la solution???
Si vous aver la réponse, aidez moi SVP
si quelqu'un d'autre a la réponse merci de m'aider
Bonne nuit et merci d'avance
Atef Sarraj
est ce que il y a de solution ??
youcef
je peux vous envoyer un tuto d'instalation....je l'ai fait moi meme....c'etait un travail qu'on nous demandé....donner moi juste votre adresse mail
