Skip to content

Introduction

Jump to bottom
Thái Sơn Hoàng edited this page Aug 25, 2022 · 1 revision

The Rodin platform is an extensible Eclipse-based tool supporting the Event-B modelling method. More information about Event-B and the Rodin platform can be found in the Event-B Wiki.

Our research group have developed several plug-ins (extensions) to the Rodin Platform. Some of the main tools are:

  • UML-B: UML-like diagrammatic notation which can be annotated with mathematical modelling elements such as invariants.
  • CamilleX: Textual representation for Event-B model.

© University of Southampton

Clone this wiki locally