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

Project Summary

A collection of tools that can be used to generate monitors ("watchdogs") from LTL formulae. This is known from the area of runtime verification. For more information, see the associated project homepage.

Tags

No tags have been added

In a Nutshell, LTL3 tools...

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
  • ...
    by exploring contributors within projects, you can view details on every commit they have made to that project
  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    data presented on the Open Hub is available through our API

Languages

Languages?height=75&width=75
OCaml
82%
TeX/LaTeX
11%
2 Other
7%

30 Day Summary

Feb 8 2017 — Mar 10 2017

12 Month Summary

Mar 10 2016 — Mar 10 2017

Ratings

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