RODIN

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

Common Public License 1.0, Eclipse Public License

Follow RODIN

RODIN Web Site

Other Useful Business Software

Award Winning Time and Labor Software

Synerion offers time and labor, advanced scheduling, absence management, labor allocation, timesheets, coreHR and more.

Stop wasting time and resources on manual and error-prone paper-based workforce management with Synerion. Synerion offers a comprehensive range of workforce management solutions that goes beyond time and tracking. The platform also offers enhanced scheduling features, labor costing, absence management, and payroll integration.

Learn More

Rate This Project

User Ratings

4.3 out of 5 stars

★★★★★

★★★★

★★★

★★

★

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:

All

buqishen76 Posted 2024-04-23

Totally Rubbish！
higherjosh Posted 2022-06-11

Clunky and unresponsive on modern machines
johngreen101 Posted 2022-05-25

Plenty of bugs, no dark mode, abandoned by developers, I can go on...

2 users found this review helpful.
texasman1 Edited 2022-05-01

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.
tfileme Posted 2013-05-19

Rodin-b-sharp is great! Thanks.

1 user found this review helpful.

Additional Project Details

Languages

English

Intended Audience

Developers, Information Technology, Science/Research

User Interface

Eclipse

Programming Language

Java

Related Categories

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

Registered

2004-05-06

Similar Business Software

GW Apps

GW Apps – Build Powerful Business Apps Without Code. GW Apps is a secure, cloud-based no-code platform that enables businesses to create custom applications and automate workflows without programming. Designed for both business and IT teams, GW Apps combines an intuitive drag-and-drop builder...

See Software
StackAI

StackAI is an enterprise AI automation platform to build end-to-end internal tools and processes with AI agents in a fully compliant and secure way. Designed for large organizations, it enables teams to automate complex workflows across operations, compliance, finance, IT, and support without...

See Software
Windsurf Editor

The Windsurf Editor is a free AI-powered IDE and AI coding assistant that accelerates development by providing intelligent code generation and agents in over 70 programming languages and more than 40 IDEs, including VSCode, JetBrains, and Jupyter Notebooks. With Windsurf, developers can write...

See Software
Grafana Cloud

Grafana Labs delivers the leading AI-powered observability platform, built around Grafana—the world’s most widely adopted open source technology for dashboards and visualization. Recognized as a Leader in the 2025 Gartner® Magic Quadrant™ for Observability Platforms, Grafana Labs supports more...

See Software
Process Street

Process Street is an AI-powered compliance operations platform that automates complex workflows, enforces standards, and tracks audit data in real time. Teams use it to create structured SOPs, assign tasks, collect data, and monitor execution with intelligent oversight. From onboarding and...

See Software
Hostinger Horizons

Hostinger Horizons is the perfect vibe coding tool, letting you build websites and apps based on an idea or a feeling. Simply describe what you want, and our AI acts as your personal designer and developer, creating a complete, mobile friendly project instantly. Horizons is built to create...

See Software