Systerel, dans le cadre des travaux du projet de recherche Event-B-Rodin-Plus, a piloté la mise à disposition de la nouvelle version 3.5 de la plate-forme Rodin (détails ici).
Le projet Event-B-Rodin-Plus vise à améliorer Event-B et la plate-forme Rodin. Les travaux principaux concernent le développement de nouvelles théories pour étendre la notation Event-B à différents domaines d’utilisation, ainsi que le développement de l’outillage associé en termes d’édition, de vérification et de preuve.