Main Page
From Event-B
This is the documentation wiki for the Event-b.org site providing documentation for users and developers of the Rodin toolset.
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of refinement to represent systems at different abstraction levels and the use of mathematical proof to verify consistency between refinement levels.
The Rodin Platform is an Eclipse-based IDE for Event-B that provides effective support for refinement and mathematical proof. The platform is open source, contributes to the Eclipse framework and is further extendable with plugins.
Event-B and Rodin are used for industrial projects and research projects.
User DocumentationRodin News
|
CommunityRodin Workshop 2012 - Rodin 2012 Workshop FAQ about the use and the impact of formal engineering methods in Industry Rodin Workshop 2010 - Programme for Rodin 2010 Workshop Industry Challenges identifed at Dagstuhl refinement seminar 2009 Mailing lists - Rodin related mailing lists. Rodin Platform Releases - Track releases. Bugs and Feature Requests - Report a bug or request a new feature. DEPLOY Plenary Meeting 2009 - Call for Papers Rodin Workshop 2009 - Abstracts and slides from Rodin 2009 Workshop Do not hesitate to improve this wiki. You may find some help within the following pages: Wiki Help - Some technical documentation about this wiki. Village Pump - Ask your questions and keep track of the main wiki events. Recent Changes - Monitor the wiki activity. Test Area - Wiki editing is simple. Try by yourself. General News
|
