# project-oak/rust-verification-tools

<https://repo.masters-masters.com/repos/project-oak/rust-verification-tools>

[Accueil](https://repo.masters-masters.com/) › [project-oak](https://repo.masters-masters.com/owners/project-oak) › [rust-verification-tools](https://repo.masters-masters.com/repos/project-oak/rust-verification-tools)

project-oak/rust-verification-tools, dépôt open source à 287 étoiles sur GitHub. Carte Alpha de RepoMasters. RVT is a collection of tools/libraries to support…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [project-oak](https://repo.masters-masters.com/owners/project-oak) |
| Étoiles | 287 |
| Forks | 35 |
| Langage | [Rust](https://repo.masters-masters.com/languages/rust) |
| Licence | Apache-2.0 |
| Création | 2020 |
| Sujets | rust, verification, fuzzing, klee, proptest, seahorn |
| Rang | [Alpha (250 à 699 ★)](https://repo.masters-masters.com/ranks/b_movie) |
| Voir sur GitHub | [project-oak/rust-verification-tools](https://github.com/project-oak/rust-verification-tools) |

## Fiche du dépôt

RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.

Archivé : ce dépôt n’évolue plus

Rang des dépôts qui ont 250 à 699 ★ sur GitHub. Probabilité publiée par carte tirée : 20 %. Rareté : Peu commune.

## Autres dépôts de project-oak

- [project-oak/oak · ★ 1 514 · Rust · Bêta](https://repo.masters-masters.com/repos/project-oak/oak)
- [project-oak/silveroak · ★ 133 · Coq · Prototype](https://repo.masters-masters.com/repos/project-oak/silveroak)

## D’autres dépôts Rust

- [ZettaScaleLabs/hiroz · ★ 287 · Rust · Alpha](https://repo.masters-masters.com/repos/ZettaScaleLabs/hiroz)
- [DavidHavoc/ayaFlow · ★ 287 · Rust · Alpha](https://repo.masters-masters.com/repos/DavidHavoc/ayaFlow)
- [Rodrigodd/strace-tui · ★ 287 · Rust · Alpha](https://repo.masters-masters.com/repos/Rodrigodd/strace-tui)
- [servo/cocoa-rs · ★ 287 · Rust · Alpha](https://repo.masters-masters.com/repos/servo/cocoa-rs)
- [beneills/quantum · ★ 287 · Rust · Alpha](https://repo.masters-masters.com/repos/beneills/quantum)
- [paritytech/parity-scale-codec · ★ 287 · Rust · Alpha](https://repo.masters-masters.com/repos/paritytech/parity-scale-codec)

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.