Event-B.org

Home of Event-B and the Rodin Platform

Deploy Logo

FP7 Logo

SourceForge.net Logo

 

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.

 

 

Event-B.org