RODIN

4.9 Stars (28)
571 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

Update Notifications





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

  • tfileme
    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
  • blaskrusik1978
    1 of 5 2 of 5 3 of 5 4 of 5 5 of 5

    very good project, thanks!

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

    Good and useful software

    Posted 12/18/2012
  • vacclean
    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
  • flexeran
    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
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.