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

Project Summary

Formal Verification of Annotated Textual Use-Cases

Tags

No tags have been added

In a Nutshell, foam-tool...

Quick Reference

MIT License
Permitted

Commercial Use

Modify

Distribute

Sub-License

Private Use

Forbidden

Hold Liable

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...

  • ...
    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
  • ...
    in 2016, 47% of companies did not have formal process in place to track OS code
  • ...
    search using multiple tags to find exactly what you need

Languages

XML
38%
CSS
27%
JavaScript
34%
3 Other
1%

30 Day Summary

Jul 19 2022 — Aug 18 2022

12 Month Summary

Aug 18 2021 — Aug 18 2022

Ratings

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