Explore projects

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

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

The Configurable Software-Verification Platform (official mirror and issue tracker)

Generate Portable Linux Applications, just portable folders