RCÉpique
model-checking/kani
A model checker for Rust programs.
- Propriétaire
- model-checking (organisation)
- Étoiles
- Étoiles : 3 621
- Forks
- Forks : 194
- Langage
- Rust
- Licence
- Apache-2.0
- Création
- 2021
- Sujets
- rustmodel-checkingverification
- Rang
- RC (2 000 à 4 999 ★) Ce que veut dire ce rang
D’autres dépôts Rust
Tous les dépôts Rust- oxidecomputer/hubrisÉtoiles : 3 645RustRC
- therealaleph/MasterHttpRelayVPN-RUSTÉtoiles : 3 639RustRC
- Myriad-Dreamin/tinymistÉtoiles : 3 625RustRC
- rust-unofficial/too-many-listsÉtoiles : 3 619RustRC
- aws/aws-lambda-rust-runtimeÉtoiles : 3 618RustRC
- glium/gliumÉtoiles : 3 617RustRC