Analyzed
about 5 hours
ago.
based on code collected
about 5 hours
ago.
Project Summary
PSE am KIT 2011/12: Programmverifikation (Team 2)
In a Nutshell, team-worthwhile/worthwhile...
- ...
- ...
- ...
-
...
took an estimated 15 years of effort (COCOMO model)
starting with its first commit in October, 2011
ending with its most recent commit about 13 years ago
Quick Reference
https://github.com/team-worthwhi...
BSD 3-clause "New" or "Revised" License
Permitted
Commercial Use
Modify
Distribute
Place Warranty
Forbidden
Hold Liable
Use Trademarks
Required
Include Copyright
Include License
These details are provided for information only. No information here is legal advice and should not be used as such.
Project Security
Vulnerabilities per Version ( last 10 releases )
There are no reported vulnerabilities
Project Vulnerability Report
Security Confidence Index
Poor security track-record
Favorable security track-record
Vulnerability Exposure Index
Many reported vulnerabilities
Few reported vulnerabilities
Did You Know...
-
...
in 2016, 47% of companies did not have formal process in place to track OS code
-
...
check out hot projects on the Open Hub
-
...
use of OSS increased in 65% of companies in 2016
-
...
you can subscribe to e-mail newsletters to receive update from the Open Hub blog
30 Day SummaryApr 12 2025 — May 12 2025
|
12 Month SummaryMay 12 2024 — May 12 2025
|
