Logiciels
- La plate-forme RODIN permet de développer des modèles en B événementiel et de les prouver corrects. Elle est accompagnée d'une série de plug-ins disponibles directement depuis la plate-forme. Pour plus d'information, voir les notes de version. Dans le cadre du projet IMPEX, la version 3.2 a été livrée récemment.
- EB2ALL est distribué et traduit les modèles Event B en C, C++ et Java.
- The ViSiDiA Project: Visualization and Simulation of Distributed Algorithms est développé au sein du projet RIMEL dans le cadre de l'axe Outils du projet.