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

  • ...
    65% of companies leverage OSS to speed application development in 2016
  • ...
    anyone with an Open Hub account can update a project's tags
  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    compare projects before you chose one to use

Languages

OCaml
40%
XML
24%
TeX/LaTeX
19%
6 Other
17%

30 Day Summary

Apr 15 2022 — May 15 2022

12 Month Summary

May 15 2021 — May 15 2022