Analyzed
3 months
ago.
Project Summary
SPIN is a model checker for verifying the correctness of concurrent software models. Systems to be verified are described in Promela (Process Meta Language), which supports modeling of asynchronous distributed algorithms as non-deterministic automata (SPIN stands for "Simple Promela Interpreter").
In a Nutshell, spin-checker...
3-Clause BSD License
Permitted
Forbidden
Required
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...
-
...
use of OSS increased in 65% of companies in 2016
-
...
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
-
...
you can embed statistics from Open Hub on your site
