efremov@linux.com Denis Efremov https://wiki.event-b.org/ https://sourceforge.net/p/rodin-b-sharp/bugs/ rodin-b-sharp The Rodin Platform is an Eclipse-based IDE for Event-B that provides effective support for refinement and mathematical proof. Event-B is a formal method for system-level modelling and analysis.