# project-oak/rust-verification-tools

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

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

project-oak/rust-verification-tools has 287 stars on GitHub. Its RepoMasters card: Alpha tier. RVT is a collection of tools/libraries to support both static…

| Field | Value |
| --- | --- |
| Owner | [project-oak](https://repo.masters-masters.com/en/owners/project-oak) |
| Stars | 287 |
| Forks | 35 |
| Language | [Rust](https://repo.masters-masters.com/en/languages/rust) |
| License | Apache-2.0 |
| Created | 2020 |
| Topics | rust, verification, fuzzing, klee, proptest, seahorn |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [project-oak/rust-verification-tools](https://github.com/project-oak/rust-verification-tools) |

## Repository

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

Archived: this repository is read-only

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by project-oak

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

## Nearby in Rust

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

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