RODIN

I Use This!

Moderate Activity

Analyzed 27 minutes ago. based on code collected about 9 hours 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,741 commits made by 43 contributors
representing 456,639 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 3 months 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...

...
nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
...
anyone with an Open Hub account can update a project's tags
...
in 2016, 47% of companies did not have formal process in place to track OS code
...
learn about Open Hub updates and features on the Open Hub blog