Leader badge

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

Main window (version 0.5.4)

Project Activity

See All Activity >

Categories

Integrated Development Environments (IDE), UML, Mathematics

License

Common Public License 1.0, Eclipse Public License

Follow RODIN

RODIN Web Site

Other Useful Business Software
Our Free Plans just got better! | Auth0 Icon
Our Free Plans just got better! | Auth0

With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
Try free now
Rate This Project
Login To Rate This Project

User Ratings

4.3 out of 5 stars
★★★★★
★★★★
★★★
★★
★
22
0
0
0
5
ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 1 / 5
features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 1 / 5
design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 1 / 5
support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 1 / 5

User Reviews

Filter Reviews:
All
  • buqishen76 Posted 2024-04-23
    1 out of 5 stars
    Totally Rubbish！
  • higherjosh Posted 2022-06-11
    1 out of 5 stars
    Clunky and unresponsive on modern machines
  • johngreen101 Posted 2022-05-25
    1 out of 5 stars
    Plenty of bugs, no dark mode, abandoned by developers, I can go on...
    2 users found this review helpful.
  • texasman1 Edited 2022-05-01
    1 out of 5 stars
    Terrible software filled with bugs, a second look at the 5 star reviews and you'll realize a portion of them are fake. Rodin tool is an redundant tool created for an outdated technology developed by out of touch professors. Just shows the plain incompetence these professors demonstrate by forcing students in 2022 to learn this useless junk.
    3 users found this review helpful.
  • tfileme Posted 2013-05-19
    5 out of 5 stars
    Rodin-b-sharp is great! Thanks.
    1 user found this review helpful.
Read more reviews >

Additional Project Details

Languages

English

Intended Audience

Developers, Information Technology, Science/Research

User Interface

Eclipse

Programming Language

Java

Related Categories

Java Integrated Development Environments (IDE), Java UML Tool, Java Mathematics Software

Registered

2004-05-06
Report inappropriate content