spin-checker

I Use This!

Very Low Activity

Analyzed about 19 hours ago. based on code collected 2 days 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 9 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...

...
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
...
use of OSS increased in 65% of companies in 2016
...
check out hot projects on the Open Hub