Klever

Project information

Klever is a software verification framework designed to automate the checking of industrial systems written in GNU C against a variety of requirements. It employs software model checkers — automatic static verification tools that apply advanced static analysis techniques such as Counterexample-Guided Abstraction Refinement (CEGAR)

10,249 Commits
60 Branches
61 Tags

README
Apache License 2.0
CHANGELOG

Created on

September 29, 2025

Loading