0
I Use This!
Activity Not Available
Analyzed 7 months ago. based on code collected 11 months ago.

Project Summary

Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. JTLV is a new tool aimed to facilitate and provide a unified framework to the development of formal verification algorithms.

Tags

No tags have been added

In a Nutshell, JTLV - formal framework...

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
  • ...
    search using multiple tags to find exactly what you need
  • ...
    65% of companies leverage OSS to speed application development in 2016
  • ...
    check out hot projects on the Open Hub
About Project Security

Languages

Languages?height=75&width=75
HTML
62%
Java
33%
11 Other
5%

30 Day Summary

Jul 25 2019 — Aug 24 2019

12 Month Summary

Aug 24 2018 — Aug 24 2019

Ratings

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