0
I Use This!
Activity Not Available
Analyzed over 2 years ago. based on code collected over 2 years ago.

Project Summary

Generator of verification conditions for C language

Tags

No tags have been added

In a Nutshell, GuVer...

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    Black Duck offers a free trial so you can discover if there are open source vulnerabilities in your code
  • ...
    anyone with an Open Hub account can update a project's tags
  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    check out hot projects on the Open Hub

30 Day Summary

Jun 8 2016 — Jul 8 2016

12 Month Summary

Jul 8 2015 — Jul 8 2016

Ratings

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