0
I Use This!
Inactive
Analyzed 10 days ago. based on code collected 10 days ago.

Project Summary

Model XML Schema documents in first-order logic using Alloy in order to generate test inputs for applications and prove constraints about documents.

Tags

No tags have been added

In a Nutshell, xsd2als...

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
  • ...
    you can subscribe to e-mail newsletters to receive update from the Open Hub blog
  • ...
    nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
  • ...
    by exploring contributors within projects, you can view details on every commit they have made to that project

Languages

Languages?height=75&width=75
XML
44%
Java
55%
2 Other
1%

30 Day Summary

Jan 8 2018 — Feb 7 2018

12 Month Summary

Feb 7 2017 — Feb 7 2018

Ratings

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