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

Other Useful Business Software
Speech-to-Text: Automatic Speech Recognition Icon
Speech-to-Text: Automatic Speech Recognition

Accurately convert voice to text in over 125 languages and variants by applying Google's powerful machine learning models with an easy-to-use API.

New customers get $300 in free credits to spend on Speech-to-Text. All customers get 60 minutes for transcribing and analyzing audio free per month, not charged against your credits.
Try for free
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

Be the first to post a review of RODIN!

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