RODIN Icon

RODIN

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

Other Useful Business Software

The Sight of Sound Icon

­ Improve VoIP Visibility from SIP to RTP

The Sight of Sound Icon
Cloud­based voice solutions are common in enterprise networks and frustrating for operations teams to manage. Simplify VoIP monitoring by having a proactive analysis of on-prem, hybrid and UCaaS voice services. Try the ThousandEyes VoIP monitoring solution today, free.

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

    alfosoul.net/%D9%83%D8%B4%D9%81-%D8%AA%D8%B3%D8%B1%D8%A8%D8%A7%D8%AA-%D9%85%D9%8A%D8%A7%D9%87/

    Posted 04/01/2017
  • 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
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.

No, thanks