Discussion :

[iness1]

Bonsoir,
je suis entrain de développer un modèle formel d'une application moyennant la méthode formelle Event-B avec la plateforme Rodin. Je voudrais valider mon modèle (ou ma spécification) par animation en utilisant le plugin Brama, mais l'ajout de ce plugin me pose un problème: une erreur de la forme "An error has occurred. See error log for more details.
org/eventb/core/IEventBFile" apparait à chaque fois que j'essais d'ouvrir un composant Event-B .
Idée? Suggestion? Je vous remercie d'avance.

[iness1]

Enfin j'ai trouvé une autre solution:
utiliser un autre outil appelé ProB qui fait le même travail que Brama .