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

Eclipse Public License, Common Public License 1.0

Follow RODIN

RODIN Web Site

You Might Also Like
Manage your IT department more effectively Icon
Manage your IT department more effectively

Streamline your business from end to end with ConnectWise PSA

ConnectWise PSA (formerly Manage) allows you to stop working in separate systems, and helps you build a more profitable business. No more duplicate data entries, inefficient employees, manual invoices, and the inability to accurately track client service issues. Get a behind the scenes look into the award-winning PSA that automates processes for each area of business: sales, help desk, support, finance, and HR.
Learn More
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:
★★★★

There are no 4 star 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
Report inappropriate content