Analyzed
about 1 month
ago.
based on code collected
about 1 month
ago.
Project Summary
HSolver is a program for verification of hybrid systems based on the constraint solver RSOLVER. Unlike other packages its correctness does not depend on floating point rounding errors.
In a Nutshell, HSolver...
- ...
- ...
- ...
-
...
took an estimated 2 years of effort (COCOMO model)
starting with its first commit in March, 2006
ending with its most recent commit over 10 years ago
Quick Reference
:pserver:anonymous:@hsolver.cvs....
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...
-
...
55% of companies leverage OSS for production infrastructure
-
...
search using multiple tags to find exactly what you need
-
...
65% of companies leverage OSS to speed application development in 2016
-
...
check out hot projects on the Open Hub
30 Day SummaryDec 8 2024 — Jan 7 2025
|
12 Month SummaryJan 7 2024 — Jan 7 2025
|
