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.

Project Samples

Project Activity

See All Activity >

Follow RODIN

RODIN Web Site

Other Useful Business Software

Compare Cell Phone Plans at Wirefly Compare Cell Phone Plans at Wirefly Icon
Compare Cell Phone Plans at Wirefly Icon

You’re probably paying too much for cell phone service. Wirefly compares hundreds of plans to help you save.

You’re probably paying too much for cell phone service. Wirefly compares hundreds of plans to help you save. Enter what you need (minutes, data, texts) into Wirefly’s innovative plan comparison tools and see your savings instantly.

Rate This Project

Login To Rate This Project

User Ratings

★★★★★
★★★★
★★★
★★
29
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

User Reviews

  • I honeslty consider this app the best software I ever used! => check this webiste for Free Gift Cards : www.fregifts.com

  • I absolutely think this program the perfect software I at all times tried! => have a look at this site for Free keys : www.scripts4geeks.com

  • 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/

  • Rodin-b-sharp is great! Thanks.

    1 user found this review helpful.
  • very good project, thanks!

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