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
Automated RMM Tools | RMM Software Icon
Automated RMM Tools | RMM Software

Proactively monitor, manage, and support client networks with ConnectWise Automate

Out-of-the-box scripts. Around-the-clock monitoring. Unmatched automation capabilities. Start doing more with less and exceed service delivery expectations.
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 1 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