0
I Use This!
Very Low Activity
Analyzed 2 days ago. based on code collected 2 days 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.

Tags

No tags have been added

In a Nutshell, WhileyTheoremProver...

Quick Reference

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

  • ...
    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
  • ...
    search using multiple tags to find exactly what you need
About Project Security

Languages

Languages?height=75&width=75
Java
98%
XML
2%

30 Day Summary

Feb 29 2020 — Mar 30 2020

12 Month Summary

Mar 30 2019 — Mar 30 2020
  • 13 Commits
    Down -10 (43%) from previous 12 months
  • 1 Contributors
    Down 0 (0%) from previous 12 months

Ratings

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