DIVINE

I Use This!

Activity Not Available

Analyzed about 1 month ago. based on code collected about 1 month ago.

Project Summary

DIVINE is a modern explicit-state model checker. Building on high-performance algorithms and data structures, it offers unparalleled versatility, scaling from a typical developer’s laptop, up to a high-end compute cluster. What more, it can verify a wide range of languages, including C and C++.

In a Nutshell, DIVINE...

...
has had 16,120 commits made by 42 contributors
representing 184,443 lines of code
...
is mostly written in C++
with an average number of source code comments
...
has a well established, mature codebase
maintained by nobody
with decreasing Y-O-Y commits
...
took an estimated 48 years of effort (COCOMO model)
starting with its first commit in March, 2006
ending with its most recent commit almost 2 years ago

Quick Reference

Project Links:

Homepage
Download

Code Locations:

http://divine.fi.muni.cz/current...

Similar Projects:

Managers:

Petr Ročkai

Licenses

BSD 2-clause "Simplified" License

Permitted

Commercial Use

Modify

Distribute

Place Warranty

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.

All Licenses

Project Security

Vulnerabilities per Version ( last 10 releases )

There are no reported vulnerabilities

Project Vulnerability Report

Security Confidence Index

Poor security track-record

Favorable security track-record

Vulnerability Exposure Index

Many reported vulnerabilities

Few reported vulnerabilities

About Project Vulnerability Report

Did You Know...

...
in 2016, 47% of companies did not have formal process in place to track OS code
...
you can subscribe to e-mail newsletters to receive update from the Open Hub blog
...
use of OSS increased in 65% of companies in 2016
...
you can embed statistics from Open Hub on your site