Download
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
License
Common Public License 1.0, Eclipse Public LicenseFollow RODIN
Other Useful Business Software
Enterprise-grade ITSM, for every business
Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
Rate This Project
Login To Rate This Project
User Reviews
-
Totally Rubbish！
-
Clunky and unresponsive on modern machines
-
Plenty of bugs, no dark mode, abandoned by developers, I can go on...
-
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.
-
Rodin-b-sharp is great! Thanks.