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

Project Summary

The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)

Tags

No tags have been added

In a Nutshell, The Verified Software Repository...

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    65% of companies leverage OSS to speed application development in 2016
  • ...
    learn about Open Hub updates and features on the Open Hub blog
  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    you can subscribe to e-mail newsletters to receive update from the Open Hub blog

Languages

Languages?height=75&width=75
TeX/LaTeX
57%
Postscript
22%
Scheme
15%
6 Other
6%

30 Day Summary

Jun 9 2019 — Jul 9 2019

12 Month Summary

Jul 9 2018 — Jul 9 2019

Ratings

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