RODIN Icon

RODIN

4.9 Stars (28)
841 Downloads (This Week)
Last Update:
Download rodin-2.7.r15250-sources.zip
Browse All Files
Windows Mac Linux

Screenshots

Description

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 Web Site

KEEP ME UPDATED

User Ratings

★★★★★
★★★★
★★★
★★
27
0
0
0
1
ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
Write a Review

User Reviews

  • 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5

    Rodin-b-sharp is great! Thanks.

    Posted 05/19/2013
  • 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5

    very good project, thanks!

    Posted 04/06/2013
  • 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5

    Good and useful software

    Posted 12/18/2012
  • 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5

    I am not able to see the video of these tutorials. If I could it is really a good job

    Posted 10/21/2012
  • 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5

    Awesome work! Very useful!

    Posted 10/20/2012
Read more reviews

Additional Project Details

Languages

English

Intended Audience

Information Technology, Science/Research, Developers

User Interface

Eclipse

Programming Language

Java

Registered

2004-05-06

Thanks for helping keep SourceForge clean.

Screenshot instructions:
Windows
Mac
Red Hat Linux   Ubuntu

Click URL instructions:
Right-click on ad, choose "Copy Link", then paste here →
(This may not be possible with some types of ads)

More information about our ad policies
X

Briefly describe the problem (required):

Upload screenshot of ad (required):
Select a file, or drag & drop file here.

Please provide the ad click URL, if possible:

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

Sign up for the SourceForge newsletter:

No, thanks
Screenshots can attract more users to your project.
Features can attract more users to your project.