CPAchecker, the Configurable Software-Verification Platform (read-only mirror) - View it on GitHub