Event-B.org

Contribute to the Rodin Platform as a User or Developer

• User and developer forums
• Bug and feature tracker.

The Rodin platform was developed by researchers from ETH Zurich, Systerel, Clearsy, 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.