spin-checker

I Use This!

Very Low Activity

Analyzed about 22 hours ago. based on code collected 1 day 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...

...
has had 93 commits made by 8 contributors
representing 46,656 lines of code
...
is mostly written in C
with a very low number of source code comments
...
has a well established, mature codebase
maintained by one developer
with decreasing Y-O-Y commits
...
took an estimated 12 years of effort (COCOMO model)
starting with its first commit in December, 2018
ending with its most recent commit 10 months ago

Quick Reference

Project Links:

Homepage
Download
Forums

Code Locations:

https://github.com/nimble-code/Spin

Similar Projects:

Managers:

Become the first manager for spin-checker

Licenses

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.

All Licenses

This Project has No vulnerabilities Reported Against it

Did You Know...

...
65% of companies leverage OSS to speed application development in 2016
...
check out hot projects on the Open Hub
...
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