RCEpic
model-checking/kani
A model checker for Rust programs.
- Owner
- model-checking (organization)
- Stars
- Stars: 3,621
- Forks
- Forks: 194
- Language
- Rust
- License
- Apache-2.0
- Created
- 2021
- Topics
- rustmodel-checkingverification
- Tier
- RC (2,000 to 4,999 ★) What this tier means
Nearby in Rust
All Rust repos- oxidecomputer/hubrisStars: 3,645RustRC
- therealaleph/MasterHttpRelayVPN-RUSTStars: 3,639RustRC
- Myriad-Dreamin/tinymistStars: 3,625RustRC
- rust-unofficial/too-many-listsStars: 3,619RustRC
- aws/aws-lambda-rust-runtimeStars: 3,618RustRC
- glium/gliumStars: 3,617RustRC