WhileyTheoremProver

I Use This!

Inactive

Analyzed about 12 hours ago. based on code collected 1 day ago.

Project Summary

The Whiley Theorem Prover (WyTP) is an automatic and interactive theorem prover designed to discharge verification conditions generated by the Whiley Compiler. WyTP operates over a variant of first-order logic which includes integer arithmetic, arrays and quantification.

In a Nutshell, WhileyTheoremProver...

...
has had 424 commits made by 4 contributors
representing 19,238 lines of code
...
is mostly written in Java
with an average number of source code comments
...
has a codebase with a long source history
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 5 years of effort (COCOMO model)
starting with its first commit in April, 2016
ending with its most recent commit over 3 years ago

Quick Reference

Organization:

Whiley

Project Links:

Homepage

Code Locations:

https://github.com/Whiley/Whiley...

Similar Projects:

Managers:

David J. Pearce

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

...
nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
...
anyone with an Open Hub account can update a project's tags
...
55% of companies leverage OSS for production infrastructure
...
you can subscribe to e-mail newsletters to receive update from the Open Hub blog

About Project Security