kani

Kani Rust Verifier

License

Apache License 2.0

Kani Rust Verifier

Creator

model-checking

Related apps