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 was developed by researchers from ETH Zurich, Systerel, Clearsy,
Heinrich-Heine-Universität Düsseldorf, 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
Michael Butler.
| 
