0
I Use This!
Inactive
Analyzed about 14 hours ago. based on code collected about 14 hours ago.

Project Summary

Java verifier using separation logic. The main components are a prover and a symbolic execution engine, both for separation logic.

Tags

No tags have been added

In a Nutshell, jStar...

BSD 4-clause (University of California-Specific)
Permitted

Commercial Use

Modify

Distribute

Place Warranty

Forbidden

Hold Liable

Use Trademarks

Required

Include Copyright

Include License

These details are provided for information only. No information here is legal advice and should not be used as such.

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    anyone with an Open Hub account can update a project's tags
  • ...
    65% of companies leverage OSS to speed application development in 2016
  • ...
    check out hot projects on the Open Hub

Languages

Languages?height=75&width=75
OCaml
40%
XML
24%
TeX/LaTeX
19%
6 Other
17%

30 Day Summary

Jan 28 2021 — Feb 27 2021

12 Month Summary

Feb 27 2020 — Feb 27 2021