Explore projects

CPAchecker, the Configurable Software-Verification Platform

Example plain HTML site using GitLab Pages: https://pages.gitlab.io/plain-html

Clade is a tool for extracting information about software build process and source code

Klever Git repository read-only mirror

C Instrumentation Framework is a user-friendly interface for Aspectator

concurrency benchmarks

Klever Continuous Verification Framework