The Kani #Rust #Verifierhttps://model-checking.github.io/kani/
Getting started - The Kani Rust VerifierDocumentation for the Kani Rust Verifier
@frankel@mastodon.top