RODIN

4.9 Stars (28)
801 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
  • flexeran
    1 of 5 2 of 5 3 of 5 4 of 5 5 of 5

    Awesome work! Very useful!

    Posted 10/20/2012
  • maria1985
    1 of 5 2 of 5 3 of 5 4 of 5 5 of 5

    I love this software. New wiki in the making too, so should be easier for new users to get going. Give it a try, you won't regret it :)

    Posted 09/12/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.