Laurent Voisin Nicolas Beauger

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.

Rodin Wiki page: http://wiki.event-b.org

Screenshot thumbnail
Main window (version 0.5.4)

Project Admins:


  • Krikun Gosha

    Krikun Gosha - 2017-02-24


    I've been looking for org.rodinp.dev-X.Y.Z-<git-commit>.zip archive, as described http://wiki.event-b.org/index.php/Using_Rodin_as_Target_Platform

    But all I could find is rodin- relise for my platform (global search for org.rodinp.dev- returns nothing).

    So I clone git repository

    git clone https://git.code.sf.net/p/rodin-b-sharp/rodincore rodin-b-sharp-rodincore

    master branch locally and tried to define target platform as Directory instead Software Site, try same with local installation of Rodin, try create archives with source code and configure as Software Site and another variations... But all I've get is "Error creating target file".

    I don't know where to write, sorry if this is not that place, but ask you for help, please.

    Sorry, nevermind, find it at https://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.2/

    Is there any way to remove my silly question?

    Last edit: Krikun Gosha 2017-02-28
    • Laurent Voisin

      Laurent Voisin - 2017-02-27

      The place for this kind of requests is on the rodin-b-sharp-devel mailing list.


Log in to post a comment.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.

No, thanks