Il s'agit de l'application Linux nommée Event-B Generic Instantiation dont la dernière version peut être téléchargée sous le nom com.hitachi.geninst_1.1.1.zip. Il peut être exécuté en ligne sur le fournisseur d'hébergement gratuit OnWorks pour les postes de travail.
Téléchargez et exécutez en ligne cette application nommée Instanciation générique Event-B avec OnWorks gratuitement.
Suivez ces instructions pour exécuter cette application :
- 1. Téléchargé cette application sur votre PC.
- 2. Entrez dans notre gestionnaire de fichiers https://www.onworks.net/myfiles.php?username=XXXXX avec le nom d'utilisateur que vous voulez.
- 3. Téléchargez cette application dans ce gestionnaire de fichiers.
- 4. Démarrez l'émulateur en ligne OnWorks Linux ou Windows en ligne ou l'émulateur en ligne MACOS à partir de ce site Web.
- 5. Depuis le système d'exploitation OnWorks Linux que vous venez de démarrer, accédez à notre gestionnaire de fichiers https://www.onworks.net/myfiles.php?username=XXXXX avec le nom d'utilisateur que vous souhaitez.
- 6. Téléchargez l'application, installez-la et exécutez-la.
Instanciation générique de l'événement B
Ad
DESCRIPTION
L'outil d'instanciation générique est développé par HITACHI et ETHZ pour Event-B en tant que plug-in pour la plate-forme RODIN.
Les principales caractéristiques de l'outil sont les suivantes :
- Fichiers d'instanciation générique pour stocker des informations sur l'instanciation générique.
- Assistant de création de fichiers d'instanciation génériques.
- Éditeur de fichiers d'instanciation génériques.
- Vérificateur statique pour les fichiers d'instanciation génériques.
- Réaliser une instanciation générique en créant un nouveau projet basé sur un projet source et des fichiers d'instanciation génériques.
Il s'agit d'une application qui peut également être récupérée à partir de https://sourceforge.net/projects/gen-inst/. Il a été hébergé dans OnWorks afin d'être exécuté en ligne de la manière la plus simple à partir de l'un de nos systèmes d'exploitation gratuits.
