At a Glance
| Applications | Model Checker Rust Verifier |
| Inputs | Rust |
| Interfaces | CLI |
| Licenses | Apache-2.0 MIT |
| Maintenance | Actively Maintained |
Description
The Kani Rust Verifier is a bit-precise model checker for Rust.
| Applications | Model Checker Rust Verifier |
| Inputs | Rust |
| Interfaces | CLI |
| Licenses | Apache-2.0 MIT |
| Maintenance | Actively Maintained |
The Kani Rust Verifier is a bit-precise model checker for Rust.