Analyzed
about 7 hours
ago.
based on code collected
about 11 hours
ago.
Project Summary
Formal Verification of Annotated Textual Use-Cases
In a Nutshell, foam-tool...
- ...
- ...
- ...
-
...
took an estimated 6 years of effort (COCOMO model)
starting with its first commit in April, 2014
ending with its most recent commit over 8 years ago
Quick Reference
https://github.com/d3sreq/foam-tool
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
-
...
you can subscribe to e-mail newsletters to receive update from the Open Hub blog
-
...
in 2016, 47% of companies did not have formal process in place to track OS code
-
...
anyone with an Open Hub account can update a project's tags
30 Day SummaryMar 25 2024 — Apr 24 2024
|
12 Month SummaryApr 24 2023 — Apr 24 2024
|
