Open Hub
Open Hub

 Settings |  Report Duplicate

1
I Use This!
Activity Not Available
Analyzed 12 months ago. based on code collected 12 months ago.

Project Summary

Machine-checkable proofs of void safety formalized in Isabelle/HOL.

Tags

Eiffel formalmethods isabelle static-analysis void-safety

In a Nutshell, Void Safety Formalization...

 No recognizable code

Open Hub computes statistics on FOSS projects by examining source code and commit history in source code management systems. This project has code locations but that location contains no recognizable source code for Open Hub to analyze.

Quick Reference

Project Links:

Download
Code Locations:
https://bitbucket.org/kwaxer/voi...
Similar Projects:
Managers:
Alexander Kogtenkov

Licenses

Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International
Permitted
Forbidden
Required

These details are provided for information only. No information here is legal advice and should not be used as such.

All Licenses

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
About Project Vulnerability Report

Did You Know...

  • ...
    65% of companies leverage OSS to speed application development in 2016
  • ...
    data presented on the Open Hub is available through our API
  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    anyone with an Open Hub account can update a project's tags
About Project Security

 No recognizable code

Open Hub computes statistics on FOSS projects by examining source code and commit history in source code management systems. This project has code locations but that location contains no recognizable source code for Open Hub to analyze.

Community Rating

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