Open source repositories tagged with #software-verification, ranked by health score.
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
