GitHub repository: sosy-lab/cpachecker
Primary language: SWIG
Description: CPAchecker, the Configurable Software-Verification Platform (read-only mirror)