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 >

License

Eclipse Public License, Common Public License 1.0

Follow RODIN

RODIN Web Site

Other Useful Business Software
Powerful small business accounting software Icon
Powerful small business accounting software

For small businesses looking for desktop accounting software

With AccountEdge, business owners can organize, process, and report on their financial information so they can focus on their business. Features include: accounting, integrated payroll, sales and purchases, contact management, inventory tracking, time billing, and more.
Rate This Project
Login To Rate This Project

User Ratings

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

  • totally rubbish
  • Clunky and unresponsive on modern machines
    1 user found this review helpful.
  • Plenty of bugs, no dark mode, abandoned by developers, I can go on...
    2 users found this review helpful.
  • 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.
  • Rodin-b-sharp is great! Thanks.
    1 user found this review helpful.
Read more reviews >

Additional Project Details

Languages

English

Intended Audience

Information Technology, Science/Research, Developers

User Interface

Eclipse

Programming Language

Java

Related Categories

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

Registered

2004-05-06