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. You can learn more about Klever at the project site.
.. toctree:: :maxdepth: 2 deploy tutorial cli dev_decomposition_conf dev_common_api_models dev_req_specs dev_env_model_specs dev_verifier_profiles dev glossary