# sosy-lab/sv-benchmarks

<https://repo.masters-masters.com/en/repos/sosy-lab/sv-benchmarks>

[Home](https://repo.masters-masters.com/en) › [sosy-lab](https://repo.masters-masters.com/en/owners/sosy-lab) › [sv-benchmarks](https://repo.masters-masters.com/en/repos/sosy-lab/sv-benchmarks)

sosy-lab/sv-benchmarks has 192 stars on GitHub. Its RepoMasters card: Prototype tier. Collection of Verification Tasks (MOVED, please follow the link)

| Field | Value |
| --- | --- |
| Owner | [sosy-lab](https://repo.masters-masters.com/en/owners/sosy-lab) |
| Stars | 192 |
| Forks | 166 |
| Language | No language |
| License | None |
| Created | 2015 |
| Topics | verification-task, sv-comp, software-verification, c, java, witness, competition, benchmark, verification |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [sosy-lab/sv-benchmarks](https://github.com/sosy-lab/sv-benchmarks) |

## Repository

Collection of Verification Tasks (MOVED, please follow the link)

Archived: this repository is read-only

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by sosy-lab

- [sosy-lab/cpu-energy-meter · ★ 348 · C · Alpha](https://repo.masters-masters.com/en/repos/sosy-lab/cpu-energy-meter)
- [sosy-lab/benchexec · ★ 295 · Python · Alpha](https://repo.masters-masters.com/en/repos/sosy-lab/benchexec)
- [sosy-lab/cpachecker · ★ 269 · Java · Alpha](https://repo.masters-masters.com/en/repos/sosy-lab/cpachecker)
- [sosy-lab/java-smt · ★ 245 · SMT · Prototype](https://repo.masters-masters.com/en/repos/sosy-lab/java-smt)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.