# Dépôts de model-checking

<https://repo.masters-masters.com/owners/model-checking>

[Accueil](https://repo.masters-masters.com/) › [model-checking](https://repo.masters-masters.com/owners/model-checking)

Le dépôt GitHub public de model-checking en carte à collectionner : étoiles, langage et rang dans RepoMasters, le jeu de cartes de l’open source.

## Dépôts de model-checking

1 dépôt public de model-checking au catalogue pour l’instant.

- [model-checking/kani · ★ 3 621 · Rust · RC](https://repo.masters-masters.com/repos/model-checking/kani)

## Voir model-checking sur GitHub

- [https://github.com/model-checking](https://github.com/model-checking)

---
Données : GitHub