Open Hub
Black Duck Open Hub

 Settings |  Report Duplicate

0
I Use This!
Low Activity

Related Projects

Analyzed about 10 hours ago. based on code collected about 16 hours ago.

Projects Similar to Klever

img avatar

CPAchecker   (Compare Project)

Very High Activity

Mostly written in Java

License: apache_2


 
img avatar

DIVINE   (Compare Project)

Activity Not Available

Mostly written in C++

License: bsd_2clause_ish


 
img avatar

spin-checker   (Compare Project)

Very Low Activity

Mostly written in C

License: BSD_License


 
img avatar

.NET Code Contracts   (Compare Project)

Inactive

Mostly written in C#

License: mit


 

S

Set Decision Diagrams and ITS tools   (Compare Project)

Moderate Activity

Mostly written in Java

License: gpl


 
img avatar

Spot   (Compare Project)

Moderate Activity

Mostly written in C++

License: gpl3_or_later


 
img avatar

Workcraft   (Compare Project)

Moderate Activity

Mostly written in Java

License: lgpl


 
img avatar

codechecker   (Compare Project)

Moderate Activity

Mostly written in Python

License: apache_2


 
img avatar

CoFlo   (Compare Project)

Inactive

Mostly written in C++

License: gpl3


 

G

GNU cflow   (Compare Project)

Activity Not Available

License: gpl3


 

People who use Klever also use:

Open Hub requires more users for this project before we can determine project relationships.

This list is updated nightly.