Home Original page

Event-B Soton

This area related to our Event-B research group at the University of Southampton (the B-Hive).

Pinned Loading

  1. Rodin Platform Bundles that include features developed by our group

    HTML 3 1

  2. CamilleX extension for Rodin platform

    Java 3 5

  5. An interface for running and replaying scenarios in ProB

    HTML 2 2

  6. Animation of iUML-B StateMachine diagrams based on ProB

    Java 2

Repositories

Showing 10 of 58 repositories

  • Rodin-Bundles Public

    Rodin Platform Bundles that include features developed by our group

    eventB-Soton/Rodin-Bundles’s past year of commit activity

    HTML

    3

    EPL-2.0

    1 1 1

    Updated Jun 25, 2024

  • XEventB Public

    CamilleX extension for Rodin platform

    eventB-Soton/XEventB’s past year of commit activity

    Java

    3

    EPL-2.0

    5 5 0

    Updated Dec 4, 2023

  • EMF-Records Public

    Records extension for Event-B (developed for Hi-Class project)

    eventB-Soton/EMF-Records’s past year of commit activity

    Java 0

    4 0 0

    Updated Nov 29, 2023

  • eventB-Soton/eventB-Soton.github.io’s past year of commit activity

    CSS 0

    2 0 17

    Updated Nov 28, 2023

  • eventB-Soton/DevelopmentProcedures’s past year of commit activity

    0

    2 0 0

    Updated Nov 17, 2023

  • lstEventB Public

    LaTeX package for listing Event-B code

    eventB-Soton/lstEventB’s past year of commit activity

    TeX

    1

    LPPL-1.3c

    4 3 0

    Updated Nov 16, 2023

  • eventB-Soton/ControlAbstractionDiagrams’s past year of commit activity

    Java 0

    2 0 0

    Updated Jun 29, 2023

  • RodinCore Public Forked from systerel/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/RodinCore’s past year of commit activity

    Java 0

    3 0 0

    Updated Mar 10, 2023

  • iUML_B_Diagrams Public

    This is the common framework that all iUML-B diagrams are based on

    eventB-Soton/iUML_B_Diagrams’s past year of commit activity

    Java 0

    3 4 0

    Updated Feb 10, 2023

  • eventB-Soton/EMF_Inclusion’s past year of commit activity

    Java

    1 3 4 1

    Updated Jan 15, 2023