0
I Use This!
Activity Not Available
Analyzed over 1 year ago. based on code collected almost 5 years 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.

Tags

No tags have been added

In a Nutshell, HSolver...

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...

  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    by exploring contributors within projects, you can view details on every commit they have made to that project
  • ...
    nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
  • ...
    compare projects before you chose one to use
About Project Security

Languages

Languages?height=75&width=75
Haskell
31%
C++
29%
OCaml
28%
7 Other
12%

30 Day Summary

Jun 20 2016 — Jul 20 2016

12 Month Summary

Jul 20 2015 — Jul 20 2016
  • 0 Commits
    Down -5 (100%) from previous 12 months
  • 0 Contributors
    Down -1 (100%) from previous 12 months

Ratings

Be the first to rate this project
Click to add your rating
   Spinner
Review this Project!