Klever
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.
Contents
- Deployment
- Tutorial
- CLI
- Configuring Program Decomposition
- Development of Common API Models
- Development of Requirement Specifications
- Development of Environment Model Specifications
- Development of Verifier Profiles
- Verifying New Program
- Developer Documentation
- How to Write This Documentation
- Using Git Repository
- Releases
- Updating List of Required Python Packages
- How to generate build bases for testing Klever
- Translating Web User Interface
- Generating Bare CPAchecker Benchmarks
- Using PyCharm IDE
- Using Visual Studio Code
- Extended Violation Witness Format
- Error Trace Format
- Code Coverage Format
- Glossary