# model-checking/kani

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

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

model-checking/kani, dépôt open source à 3 627 étoiles sur GitHub. Carte RC de RepoMasters. A model checker for Rust programs. Langage : Rust.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [model-checking](https://repo.masters-masters.com/owners/model-checking) |
| Étoiles | 3 627 |
| Forks | 194 |
| Langage | [Rust](https://repo.masters-masters.com/languages/rust) |
| Licence | Apache-2.0 |
| Création | 2021 |
| Sujets | rust, model-checking, verification |
| Rang | [RC (2 000 à 4 999 ★)](https://repo.masters-masters.com/ranks/blockbuster) |
| Voir sur GitHub | [model-checking/kani](https://github.com/model-checking/kani) |

## Fiche du dépôt

A model checker for Rust programs.

Rang des dépôts qui ont 2 000 à 4 999 ★ sur GitHub. Probabilité publiée par carte tirée : 3 %. Rareté : Épique.

## D’autres dépôts Rust

- [oxidecomputer/hubris · ★ 3 645 · Rust · RC](https://repo.masters-masters.com/repos/oxidecomputer/hubris)
- [therealaleph/MasterHttpRelayVPN-RUST · ★ 3 641 · Rust · RC](https://repo.masters-masters.com/repos/therealaleph/MasterHttpRelayVPN-RUST)
- [Myriad-Dreamin/tinymist · ★ 3 627 · Rust · RC](https://repo.masters-masters.com/repos/Myriad-Dreamin/tinymist)
- [rust-unofficial/too-many-lists · ★ 3 619 · Rust · RC](https://repo.masters-masters.com/repos/rust-unofficial/too-many-lists)
- [aws/aws-lambda-rust-runtime · ★ 3 618 · Rust · RC](https://repo.masters-masters.com/repos/aws/aws-lambda-rust-runtime)
- [glium/glium · ★ 3 617 · Rust · RC](https://repo.masters-masters.com/repos/glium/glium)

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