Explore @eventB-Soton Open Source projects

Event-B Soton (@eventB-Soton)

eventB-Soton

Stars
15
Global Org. Rank 133,460 (Top 43 %)
Registered over 7 years ago
Most used languages

Java
66.7 %

HTML
22.2 %

TeX
11.1 %
Location 🇬🇧 United Kingdom
Country Total Rank 25,609
Country Ranking

TeX
1,195

Java
2,193

HTML
2,836

Rodin-Bundles

Rodin Platform Bundles that include features developed by our group

XEventB

CamilleX extension for Rodin platform

EventBUtils

Event-B Utilities

ScenarioChecker

An interface for running and replaying scenarios in ProB

SCXML_EMF

SCXML meta-model in EMF

EMF_Inclusion

EMF Support for inclusion mechanism

UMLB_Project_Diagram

UML-B Project Diagram

EventB_Translator_Support

Adaptation of the EMF translator for Event-B and Rodin

lstEventB

LaTeX package for listing Event-B code