Repositories list

• Rodin-Bundles

  Public
  Rodin Platform Bundles that include features developed by our group

  rodinevent-bjava+ 1eclipse

  HTML

  •

  Eclipse Public License 2.0

  •1•3•0•1•Updated Jun 25, 2024Jun 25, 2024

• XEventB

  Public
  CamilleX extension for Rodin platform

  verificationformal-methodsevent-b+ 1ide

  Java

  •

  Eclipse Public License 2.0

  •5•3•5•0•Updated Dec 4, 2023Dec 4, 2023

• EMF-Records

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

  Java

  •4•0•0•0•Updated Nov 29, 2023Nov 29, 2023

• eventB-Soton.github.io

  Public
  Event-B Soton Organisation page

  event-buml-b

  CSS

  •2•0•0•17•Updated Nov 28, 2023Nov 28, 2023

• DevelopmentProcedures

  Public
  2•0•0•0•Updated Nov 17, 2023Nov 17, 2023

• lstEventB

  Public
  LaTeX package for listing Event-B code

  TeX

  •

  LaTeX Project Public License v1.3c

  •4•1•3•0•Updated Nov 16, 2023Nov 16, 2023

• ControlAbstractionDiagrams

  Public
  Java

  •2•0•0•0•Updated Jun 29, 2023Jun 29, 2023

• RodinCore

  Public
  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.

  Java

  •1•0•0•0•Updated Mar 10, 2023Mar 10, 2023

• iUML_B_Diagrams

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

  uml-b

  Java

  •3•0•4•0•Updated Feb 10, 2023Feb 10, 2023

• EMF_Inclusion

  Public
  EMF Support for inclusion mechanism

  emfcamillexjava

  Java

  •3•1•4•1•Updated Jan 15, 2023Jan 15, 2023

• EventBUtils

  Public
  Event-B Utilities

  Java

  •

  Eclipse Public License 2.0

  •2•2•0•0•Updated Jan 4, 2023Jan 4, 2023

• RoseEditor

  Public
  EMF based tree structured editor customised for Event-B

  Java

  •2•0•0•1•Updated Jan 3, 2023Jan 3, 2023

• EventB_Translator_Support

  Public
  Adaptation of the EMF translator for Event-B and Rodin

  emfevent-b

  Java

  •3•1•0•0•Updated Jan 3, 2023Jan 3, 2023

• EMF_Translator

  Public
  Framework for implementing EMF model to model transformations in Java

  emf

  HTML

  •3•0•1•0•Updated Jan 3, 2023Jan 3, 2023

• EMF_EventB

  Public
  EMF based support for modelling in Event-B

  emfevent-b

  Java

  •4•0•3•0•Updated Jan 3, 2023Jan 3, 2023

• EMF_EventB_Extensions

  Public
  Java

  •4•0•0•0•Updated Jan 3, 2023Jan 3, 2023

• ScenarioChecker

  Public
  An interface for running and replaying scenarios in ProB

  uml-b

  HTML

  •2•2•0•0•Updated Dec 12, 2022Dec 12, 2022

• blog-files

  Public
  CSS

  •3•0•0•8•Updated Dec 5, 2022Dec 5, 2022

• .github

  Public
  README for Event-B Soton

  MIT License

  •0•0•0•0•Updated Jun 29, 2022Jun 29, 2022

• multisim

  Public
  Multi-simulation plug-in for Rodin

  Java

  •3•0•0•0•Updated Dec 21, 2021Dec 21, 2021

• Rodin-Docker

  Public
  Source code for building Docker images for running/developing Rodin

  dockerrodinevent-b

  Eclipse Public License 2.0

  •1•0•0•0•Updated Sep 18, 2021Sep 18, 2021

• EventB_ProB_Support

  Public
  Provides a common interface and synchronisation to plugins that use ProB for animation

  Java

  •2•0•0•0•Updated Jul 15, 2021Jul 15, 2021

• prob2_kernel

  Public
  (READ ONLY MIRROR) ProB 2.0 Kernel

  Java

  •

  Eclipse Public License 2.0

  •2•0•0•0•Updated Jun 26, 2021Jun 26, 2021

• tutorial-ABZ-2021

  Public
  C

  •

  Creative Commons Attribution 4.0 International

  •1•0•0•0•Updated Jun 8, 2021Jun 8, 2021

• EventBTool

  Public
  EVBT - an Event-B tool for code generation and documentation

  Java

  •

  GNU Affero General Public License v3.0

  •5•0•0•0•Updated Jun 7, 2021Jun 7, 2021

• SimB-examples

  Public
  Makefile

  •2•0•0•0•Updated Apr 12, 2021Apr 12, 2021

• EMF_Containment

  Public
  EMF Support for containment mechanism

  emf

  Java

  •

  Eclipse Public License 1.0

  •3•0•0•0•Updated Jan 19, 2021Jan 19, 2021

• rodin-plugin-dependency

  Public
  Dependency for Rodin plugins maintained by our group

  TeX

  •

  MIT License

  •1•0•0•0•Updated Jan 19, 2021Jan 19, 2021

• iUML_B_StateMachineDiagrams

  Public
  uml-b

  Java

  •5•0•2•0•Updated Jan 18, 2021Jan 18, 2021

• iUML_B_StateMachineAnimation1

  Public
  Animation of iUML-B StateMachine diagrams based on ProB

  uml-b

  Java

  •2•0•1•0•Updated Jan 18, 2021Jan 18, 2021