Event-B Soton

Event-B @ Soton

University of Southampton, UK

Pinned Repositories

EMF_Inclusion
EMF Support for inclusion mechanism
Language:Java13
EventBUtils
Event-B Utilities
Language:Java2 2 02
iUML_B_ClassDiagrams
Language:Java04
iUML_B_StateMachineAnimation1
Animation of iUML-B StateMachine diagrams based on ProB
Language:Java02
iUML_B_StateMachineDiagrams
Language:Java05
lstEventB
LaTeX package for listing Event-B code
Language:TeX14
Rodin-Bundles
Rodin Platform Bundles that include features developed by our group
Language:HTML3 6 31
ScenarioChecker
An interface for running and replaying scenarios in ProB
Language:HTML22
UMLB_Project_Diagram
UML-B Project Diagram
Language:Java12
XEventB
CamilleX extension for Rodin platform
Language:Java35

Event-B Soton's Repositories

eventB-Soton/Rodin-Bundles
Rodin Platform Bundles that include features developed by our group
Language:HTML3 6 31
eventB-Soton/XEventB
CamilleX extension for Rodin platform
Language:Java35
eventB-Soton/EventBUtils
Event-B Utilities
Language:Java2 2 02
eventB-Soton/ScenarioChecker
An interface for running and replaying scenarios in ProB
Language:HTML22
eventB-Soton/EMF_Inclusion
EMF Support for inclusion mechanism
Language:Java13
eventB-Soton/EventB_Translator_Support
Adaptation of the EMF translator for Event-B and Rodin
Language:Java13
eventB-Soton/lstEventB
LaTeX package for listing Event-B code
Language:TeX14
eventB-Soton/eventB-Soton.github.io
Event-B Soton Organisation page
Language:CSS0 5 02
eventB-Soton/iUML_B_StateMachineAnimation1
Animation of iUML-B StateMachine diagrams based on ProB
Language:Java02
eventB-Soton/iUML_B_StateMachineDiagrams
Language:Java05
eventB-Soton/.github
README for Event-B Soton
eventB-Soton/blog-files
Language:CSS3
eventB-Soton/ControlAbstractionDiagrams
Language:Java2
eventB-Soton/DevelopmentProcedures
2
eventB-Soton/EMF-Records
Records extension for Event-B (developed for Hi-Class project)
Language:Java4
eventB-Soton/EMF_Containment
EMF Support for containment mechanism
Language:Java3
eventB-Soton/EMF_EventB
EMF based support for modelling in Event-B
Language:Java4 34
eventB-Soton/EMF_EventB_Extensions
Language:Java4
eventB-Soton/EMF_Translator
Framework for implementing EMF model to model transformations in Java
Language:HTML3
eventB-Soton/EventB_ProB_Support
Provides a common interface and synchronisation to plugins that use ProB for animation
Language:Java2
eventB-Soton/EventBTool
EVBT - an Event-B tool for code generation and documentation
Language:Java0 01
eventB-Soton/iUML_B_Diagrams
This is the common framework that all iUML-B diagrams are based on
Language:Java3
eventB-Soton/multisim
Multi-simulation plug-in for Rodin
Language:Java2
eventB-Soton/prob2_kernel
(READ ONLY MIRROR) ProB 2.0 Kernel
eventB-Soton/Rodin-Docker
Source code for building Docker images for running/developing Rodin
4 01
eventB-Soton/rodin-plugin-dependency
Dependency for Rodin plugins maintained by our group
Language:TeX1
eventB-Soton/RodinCore
Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the Event-B formal method and provides natural support for refinement and mathematical proof.
eventB-Soton/RoseEditor
EMF based tree structured editor customised for Event-B
Language:Java2
eventB-Soton/SimB-examples
1
eventB-Soton/tutorial-ABZ-2021