RODIN

I Use This!

Low Activity

Analyzed 1 day ago. based on code collected 3 days ago.

Project Summary

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.

In a Nutshell, RODIN...

...
has had 11,749 commits made by 43 contributors
representing 456,649 lines of code
...
is mostly written in Java
with an average number of source code comments
...
has a well established, mature codebase
maintained by a small development team
with decreasing Y-O-Y commits
...
took an estimated 121 years of effort (COCOMO model)
starting with its first commit in April, 2004
ending with its most recent commit about 1 month ago

Quick Reference

(2 Locations)

lvoisin

Licenses

Eclipse Public License 1.0

Permitted

Commercial Use

Modify

Distribute

Sub-License

Private Use

Use Patent Claims

Forbidden

Hold Liable

Use Trademarks

Required

Distribute Original

Disclose Source

Include Copyright

Include License

Include Install Instructions

Compensate Damages

These details are provided for information only. No information here is legal advice and should not be used as such.

All Licenses

This Project has No vulnerabilities Reported Against it

Did You Know...

...
in 2016, 47% of companies did not have formal process in place to track OS code
...
by exploring contributors within projects, you can view details on every commit they have made to that project
...
55% of companies leverage OSS for production infrastructure
...
you can subscribe to e-mail newsletters to receive update from the Open Hub blog