Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

Klever

Compare

  Analyzed about 20 hours ago

Klever is a software verification framework that aims at automated checking of programs developed in the GNU C programming language against a variety of requirements using software model checkers (automatic software verification tools) implementing such methods of thorough static analysis as Bounded ... [More] Model Checking and Counterexample-Guided Abstraction Refinement. Software model checking allows finding faults that can be hardly detected by other software quality assurance techniques like code review, testing and static analysis. In addition, it is capable to prove formal correctness of programs checked against particular requirements under certain assumptions. [Less]

268K lines of code

6 current contributors

18 days since last commit

0 users on Open Hub

Low Activity
0.0
 
I Use This