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