Dear All,
I am glad to announce that Rodin 3.7 is available. You can either install it from SourceForge (https://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.7/) or use the update mechanism of Eclipse.
Rodin 3.7 brings several bug fixes. It also upgrades the underlying Eclipse to 2021-12 (4.22), which can be run by Java 11 Runtimes.
Rodin will work on macOS, Linux and Windows 64-bit computers. You need to have a 64-bit Java JRE (version 11 or later) installed on your computer to run Rodin.... read more
Dear All,
We have published a first release candidate of Rodin 3.7. This release is based on the latest Eclipse 2021-12 (4.22) and contains numerous bug fixes.
https://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.7-RC1/
We are interested in getting as much feedback as possible, especially about bugs or usage issues, before publishing the final release. Please do not hesitate to report anything that looks strange to you.... read more
Dear All,
We have published a first release candidate of Rodin 3.6. This release is based on the latest Eclipse 2020-12 and contains numerous bug fixes.
https://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.6-RC1/
We are interested in getting as much feedback as possible, especially about bugs or usage issues, before publishing the final release. Please do not hesitate to report anything that looks strange to you.... read more
The RODIN platform is an open tool platform for the cost effective rigorous development of dependable complex software systems. This platform is an IDE for the Event-B formal method and provides natural support for refinement and mathematical proof.
More information about the release at http://wiki.event-b.org/index.php/Rodin_Platform_2.8_Release_Notes
Download at http://sourceforge.net/projects/rodin-b-sharp/
The RODIN platform is an open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
After more than three years of heavy work, the Rodin team is very proud to announce the immediate availability of the much awaited release 1.0 of the Rodin platform.... read more
This new release contains two modifications:
- time limit suppressed
- dynamic DLL linking replaced by static linking (Windows)
The time limit feature, coming from B4free policy, has been removed because:
- downloads are anonymous and we can't inform users that their version is being outdated (it is a way for us to measure who is using the tool and determine if further development/support is required)
- the platform doesn't display this information ... read more
Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
This plug-in is mandatory to have proof capabilities within the Rodin platform 0.8.0.
Release 0.8.1 corrects a bug in 0.8.0 that prevents normal use on computers running Win XP.
Latest platform available. User manual and tutorials have been updated accordingly.
Have a look at http://rodin-b-sharp.sourceforge.net for resources.
Pay attention that B4Free provers 0.8.1 are required.
The B2RODIN 1.0.3 plugin has been released. It allows to import Atelier B, event B models into the Rodin platform 0.7.1.
To install it, withinh the Rodin platform:
* Choose 'Help/Software Updates/Find and Install
* Select 'Search for new features to install
* Click on the 'New Remote Site...' button
* In the dialog box, fill the following fields :
o 'B2RODIN' in the 'Name' field
o 'http://www.b4free.com/b2rodin' in the 'URL' field
then click on OK
* Click on finish to install the b2rodin feature
Most of the deliverables produced during the IST RODIN project are available for download at http://rodin.cs.ncl.ac.uk/deliverables.htm
Basic tutorials have been released.
One describes how to install the Rodin platform,the second is a quick tour of the its interface.
Both tutorials require a flash player. Browse the associated htm files to start the tutorials.
This font is mandatory to properly display B symbols within the Rodin platform man-machine interface.
The RODIN platform is an open tool platform for the cost effective rigorous development of dependable complex software systems services.
This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
This release corresponds to the platform that was demonstrated during the Rodin Industry Day (http://www.clearsy.com/rodin/industry_day.html) and includes:
- reactive and differential model building,
- integration of three kernel tools: static checker, proof obligation generator, prover,
- support of initial model (abstraction) and context.