RODIN

4.9 Stars (28)
596 Downloads (This Week)
Last Update:
Download rodin-3.0.0.201403141545-e3d282b-lin…gz
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

Developers, Information Technology, Science/Research

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.