Roadmap for the Rodin Platform
An outline roadmap for the future development
of the Rodin platform is available here.
The development of the platform will be driven largely by the needs of DEPLOY project but we welcome contributions from other researchers.
Get involved with the Rodin Platform as a User or Developer
The Rodin platform and plug-ins is developed and maintained by researchers from ETH Zurich, Systerel, Clearsy,
Heinrich-Heine-Universität Düsseldorf, the University of Newcastle and the University of Southampton.
The Event-B.org site is maintained
by members of the Dependable Systems and Software Engineering Research Group at the University of Southampton.
If you are interested in contributing to Rodin please contact