# MPI-SWS/genmc

<https://repo.masters-masters.com/en/repos/MPI-SWS/genmc>

[Home](https://repo.masters-masters.com/en) › [MPI-SWS](https://repo.masters-masters.com/en/owners/MPI-SWS) › [genmc](https://repo.masters-masters.com/en/repos/MPI-SWS/genmc)

MPI-SWS/genmc has 222 stars on GitHub. Its RepoMasters card: Prototype tier. Generic model checker for concurrent C programs (mirror repository) Language: C++.

| Field | Value |
| --- | --- |
| Owner | [MPI-SWS](https://repo.masters-masters.com/en/owners/MPI-SWS) |
| Stars | 222 |
| Forks | 36 |
| Language | [C++](https://repo.masters-masters.com/en/languages/c-plus-plus) |
| License | Apache-2.0 |
| Created | 2019 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [MPI-SWS/genmc](https://github.com/MPI-SWS/genmc) |

## Repository

Generic model checker for concurrent C programs (mirror repository)

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

## Nearby in C++

- [deminimis/minimalimageviewer · ★ 222 · C++ · Prototype](https://repo.masters-masters.com/en/repos/deminimis/minimalimageviewer)
- [saltpi/Aria.X · ★ 222 · C++ · Prototype](https://repo.masters-masters.com/en/repos/saltpi/Aria.X)
- [hery-torrado/KernelESP · ★ 222 · C++ · Prototype](https://repo.masters-masters.com/en/repos/hery-torrado/KernelESP)
- [borisbrodski/sevenzipjbinding · ★ 222 · C++ · Prototype](https://repo.masters-masters.com/en/repos/borisbrodski/sevenzipjbinding)
- [boostorg/safe\_numerics · ★ 222 · C++ · Prototype](https://repo.masters-masters.com/en/repos/boostorg/safe_numerics)
- [adafruit/Adafruit\_Motor\_Shield\_V2\_Library · ★ 222 · C++ · Prototype](https://repo.masters-masters.com/en/repos/adafruit/Adafruit_Motor_Shield_V2_Library)

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