ISPRAS fork of CPAchecker https://cpachecker.sosy-lab.org/
Sample for Big Russian Encyclopedia
Klever Git repository read-only mirror