Skip to content
@eventB-Soton

Event-B Soton

Event-B @ Soton

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

Pinned Loading

  1. Rodin-Bundles Rodin-Bundles Public

    Rodin Platform Bundles that include features developed by our group

    HTML 3 1

  2. XEventB XEventB Public

    CamilleX extension for Rodin platform

    Java 3 5

  3. iUML_B_ClassDiagrams iUML_B_ClassDiagrams Public

    Java 4

  4. iUML_B_StateMachineDiagrams iUML_B_StateMachineDiagrams Public

    Java 5

  5. ScenarioChecker ScenarioChecker Public

    An interface for running and replaying scenarios in ProB

    HTML 2 2

  6. iUML_B_StateMachineAnimation1 iUML_B_StateMachineAnimation1 Public

    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 0 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.github.io Public

    Event-B Soton Organisation page

    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 1 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
  • EMF_Inclusion Public

    EMF Support for inclusion mechanism

    eventB-Soton/EMF_Inclusion’s past year of commit activity
    Java 1 3 4 1 Updated Jan 15, 2023

Top languages

Loading…

Most used topics

Loading…