Skip to content

Home

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

This is the main page for the development procedures for our research group at the University of Southampton). The research relates to the Event-B modelling method and the supporting Rodin Platform.

  • Introduction - a brief introduction to the Rodin platform and an overview of the EventB-Soton group.
  • Overview - Overview of the structure of repositories
  • Developer guide - how to set up a development environment and contribute to our projects.
  • Related repositories - links to related repositories.

Bug Reports/Improvements

If you notice any incorrect information or have a good idea for improvement, please add it to the Issues page.

© University of Southampton

Clone this wiki locally