Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

AlphaUncommon

project-oak/rust-verification-tools

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

Archived: this repository is read-only

Owner: project-oak (organization)
Stars: Stars: 287
Forks: Forks: 35
Language: Rust
License: Apache-2.0
Created: 2020
Topics: rustverificationfuzzingkleeproptestseahorn
Tier: Alpha (250 to 699 ★) What this tier means

More repos by project-oak

All 3 repos by project-oak

project-oak/oakStars: 1,514RustBeta
project-oak/silveroakStars: 133CoqPrototype

Nearby in Rust

ZettaScaleLabs/hirozStars: 287RustAlpha
DavidHavoc/ayaFlowStars: 287RustAlpha
Rodrigodd/strace-tuiStars: 287RustAlpha
servo/cocoa-rsStars: 287RustAlpha
beneills/quantumStars: 287RustAlpha
paritytech/parity-scale-codecStars: 287RustAlpha