Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

RODIN / News: Recent posts

Rodin Platform 2.8 released

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/

Posted by Nicolas Beauger 2013-06-21

Rodin Platform 1.0 released

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

Posted by Laurent Voisin 2009-07-01

B4free Provers 0.8.2 released

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

Posted by Thierry Lecomte 2007-09-07

B4Free provers 0.8.1 released

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.

Posted by Thierry Lecomte 2007-09-06

Rodin Platform 0.8.0 released

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.

Posted by Thierry Lecomte 2007-09-06

B2RODIN plugin 1.0.3 released

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

Posted by Thierry Lecomte 2007-02-13

RODIN documentation available at http://rodin.cs.ncl.ac.uk

Most of the deliverables produced during the IST RODIN project are available for download at http://rodin.cs.ncl.ac.uk/deliverables.htm

Posted by Thierry Lecomte 2006-05-17

First tutorials 1.0 released

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.

Posted by Thierry Lecomte 2006-04-20

Mandatory Font: Brave Sans Mono 0.12 released

This font is mandatory to properly display B symbols within the Rodin platform man-machine interface.

Posted by Thierry Lecomte 2006-04-12

RODIN platform 0.5.4 released

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.

Posted by Thierry Lecomte 2006-04-07