Explore projects

Проблемы и предложения по работе статического анализатора Svace

ISPRAS fork of CPAchecker https://cpachecker.sosy-lab.org/

Klever Git repository read-only mirror

Klever Continuous Verification Framework

C Instrumentation Framework is a user-friendly interface for Aspectator

CPAchecker, the Configurable Software-Verification Platform

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

concurrency benchmarks