kani
A model checker for Rust programs.
- ATK
- 3461
- DEF
- 2514
Common
model-checking/kani
Common · Base · GenesisA model checker for Rust programs.
Attack3,461
Defense2,514
Drag the card to turn it. Use the flip button to see the back.
Open card page