0
I Use This!
Inactive
Analyzed about 1 hour ago. based on code collected about 10 hours 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...

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
  • ...
    learn about Open Hub updates and features on the Open Hub blog
  • ...
    in 2016, 47% of companies did not have formal process in place to track OS code
  • ...
    check out hot projects on the Open Hub

Languages

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

30 Day Summary

Apr 22 2018 — May 22 2018

12 Month Summary

May 22 2017 — May 22 2018

Ratings

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