# diffblue/cbmc

<https://repo.masters-masters.com/repos/diffblue/cbmc>

[Accueil](https://repo.masters-masters.com/) › [diffblue](https://repo.masters-masters.com/owners/diffblue) › [cbmc](https://repo.masters-masters.com/repos/diffblue/cbmc)

diffblue/cbmc, dépôt open source à 1 157 étoiles sur GitHub. Carte Bêta de RepoMasters. C Bounded Model Checker Langage : C++.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [diffblue](https://repo.masters-masters.com/owners/diffblue) |
| Étoiles | 1 157 |
| Forks | 316 |
| Langage | [C++](https://repo.masters-masters.com/languages/c-plus-plus) |
| Licence | Aucune |
| Création | 2016 |
| Rang | [Bêta (700 à 1 999 ★)](https://repo.masters-masters.com/ranks/box_office) |
| Voir sur GitHub | [diffblue/cbmc](https://github.com/diffblue/cbmc) |

## Fiche du dépôt

C Bounded Model Checker

Rang des dépôts qui ont 700 à 1 999 ★ sur GitHub. Probabilité publiée par carte tirée : 6 %. Rareté : Rare.

## Autres dépôts de diffblue

- [diffblue/hw-cbmc · ★ 117 · C++ · Prototype](https://repo.masters-masters.com/repos/diffblue/hw-cbmc)

## D’autres dépôts C++

- [grizzlypeak3d/DJV · ★ 1 158 · C++ · Bêta](https://repo.masters-masters.com/repos/grizzlypeak3d/DJV)
- [PardCode/CPP-3D-Game-Tutorial-Series · ★ 1 158 · C++ · Bêta](https://repo.masters-masters.com/repos/PardCode/CPP-3D-Game-Tutorial-Series)
- [RSDKModding/RSDKv4-Decompilation · ★ 1 158 · C++ · Bêta](https://repo.masters-masters.com/repos/RSDKModding/RSDKv4-Decompilation)
- [mitchcurtis/slate · ★ 1 156 · C++ · Bêta](https://repo.masters-masters.com/repos/mitchcurtis/slate)
- [prsyahmi/GpuRamDrive · ★ 1 156 · C++ · Bêta](https://repo.masters-masters.com/repos/prsyahmi/GpuRamDrive)
- [alliedmodders/sourcemod · ★ 1 155 · C++ · Bêta](https://repo.masters-masters.com/repos/alliedmodders/sourcemod)

---
Données : GitHub · Illustration : image publique du projet, pixelisée par RepoMasters.