Explore projects

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

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

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)